LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Aktuelles
https://www-apr.lip6.fr/~mine/

MINÉ Antoine

Photo Professor
Forschungsgruppe : APR
Ört : Campus Pierre et Marie Curie
    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://www-apr.lip6.fr/~mine/

Forschungsaktivitäten

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, ...).

3 Doktoranten (Forschungsleitung (Direction de recherche) / Co-Betreuung)

  • DELMAS David : Analyse statique par interprétation abstraite de la portabilité des programmes
  • JOURNAULT Matthieu : Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction et l'inférence de contrats
  • MONAT Raphaël : Static Analysis by Abstract Interpretation of Dynamic Programming Languages

1 Doktor 2019

Publikationen 2015-2019

 Mentions légales
Plan |