MINÉ Antoine
教授
科研组 : APR
Tel: +33 1 44 27 87 84, Antoine.Mine (at) nulllip6.fr
https://lip6.fr/Antoine.Mine
科研组 : APR
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 311
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 87 84, Antoine.Mine (at) nulllip6.fr
https://lip6.fr/Antoine.Mine
5 在读博士 (责任导师 / 助理责任导师)
- BAU Guillaume : Analyse statique par interprétation abstraite de smart-contrats Michelson
- MILANESE Marco : Under-Approximated Program Analysis and Counter-Example Generation by Abstract Interpretation
- PAROLINI Francesco : Static Analysis for Security Properties of Software by Abstract Interpretation
- RAZAFINTSIALONINA Mamy : Incremental Static Analysis for Program Verification
- VALNET Milla : Static Value Analysis by Abstract Interpretation of Functional Languages and Application to OCaml Analysis