https://www-apr.lip6.fr/~mine/

MINÉ Antoine

Photo Professeur
Équipe : APR
Localisation : Jussieu
    UPMC - 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://www-apr.lip6.fr/~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, ...).

3 Doctorants (Direction de recherche / Co-encadrement)

  • JOURNAULT Matthieu : Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction et l'inférence de contrats.
  • SUZANNE Thibault : Analyse statique par l'interprétation abstraite de programmes concurrents en présence de mémoire faiblement cohérentes.
  • ZIAT Ghiles : Analyse statique de programmes malveillants par interprétation abstraite.

Publications 2015-2016

 Mentions légales
Carte du site |