VALNET Milla

PhD graduated
Team : APR
Arrival date : 09/01/2023
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 303
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE

Tel: +33 1 44 27 88 16, Milla.Valnet (at) nulllip6.fr
https://lip6.fr/Milla.Valnet

Supervision : Antoine MINÉ

Co-supervision : Raphael Monat

Static Value Analysis by Abstract Interpretation of Functional Languages and Application to OCaml Analysis