VALNET Milla
Doctorante à Sorbonne Université
Équipe :
APR
Date d'arrivée : 01/09/2023
Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 303
4 place Jussieu
75252 PARIS CEDEX 05
01 44 27 88 16
Milla.Valnet (at)
nulllip6.fr
https://lip6.fr/Milla.Valnet
Direction de recherche : Antoine MINÉ
Co-encadrement : Raphael Monat
Analyse statique par interprétation abstraite des langages fonctionnels et application à l'analyse de programmes OCaml"