MINÉ Antoine

Photo Professeur
É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
https://lip6.fr/Antoine.Mine

Activité de recherche

Méthodes de vérification automatique de la sûreté des logiciels informatiques : analyse statique sémantique des programmes, découverte d'invariants, interprétation abstraite, application à la vérification des logiciels embarqués critiques (logiciels avioniques, automobiles, ...).

4 Doctorants (Direction de recherche / Co-encadrement)

  • BAU Guillaume : Analyse statique par interprétation abstraite de smart-contrats Michelson
  • DELMAS David : Analyse statique par interprétation abstraite de la portabilité des programmes
  • MONAT Raphaël : Analyse statique par interprétation abstraite de langages dynamiques
  • PAROLINI Francesco : Analyse statique de propriétés de sécurité des logiciels par interprétation abstraite

3 Docteurs 2019

Publications 2015-2021