MINÉ Antoine
Professeur
Équipe : APR
Tel: 01 44 27 87 84, Antoine.Mine (at) nulllip6.fr
https://lip6.fr/Antoine.Mine
Équipe : APR
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 311
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 87 84, Antoine.Mine (at) nulllip6.fr
https://lip6.fr/Antoine.Mine
5 Doctorants (Direction de recherche / Co-encadrement)
- BAU Guillaume : Analyse statique par interprétation abstraite de smart-contrats Michelson
- MILANESE Marco : Analyse sous-approximée et génération de contres-exemples par interprétation abstraite
- PAROLINI Francesco : Analyse statique de propriétés de sécurité des logiciels par interprétation abstraite
- RAZAFINTSIALONINA Mamy : Analyse Statique Incrémentale pour la Vérification de Programmes
- VALNET Milla : Analyse statique par interprétation abstraite des langages fonctionnels et application à l'analyse de programmes OCaml"