MINÉ Antoine

Photo Giáo sư
Nhóm nghiên cứu : 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
https://lip6.fr/Antoine.Mine

5 Nghiên cứu sinh (Ban lãnh đạo nghiên cứu / Đồng hướng dẫn)

  • 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

8 Tiến sĩ 2012 - 2023

Bài báo khoa học 2015-2024

Mentions légales
Sơ đồ site