Site web d'Antoine Miné

Je suis chargé de recherche au Centre National de la Recherche Scientifique (CNRS).

Je travaille au département d'informatique de l'École normale supérieure (ÉNS, Paris), dans le groupe sémantique et interprétation abstraite, dirigée par Patrick Cousot. Le groupe est commun avec l'équipe-projet Abstraction de INRIA Paris-Rocquencourt.

Je suis ancien élève de l'ÉNS et titulaire d'une thèse en informatique de l'École Polytechnique.

Contact :

Recherche

Le but de mes recherches est l'amélioration de la qualité et de la fiabilité des logiciels et des systèmes informatiques grâce à l'utilisation de méthodes formelles.

Je conçois des méthodes et des outils d'analyse statique capables de découvrir, automatiquement et dès la compilation, des propriétés des logiciels, par exemple l'absence de certains types d'erreurs. Ces méthodes sont basées sur des sémantiques et donnent des garanties mathématiques rigoureuses concernant le fonctionnement des logiciels. Elles utilisent également des approximations permettant d'obtenir des analyses sures en un temps raisonnable sur des logiciels réels. Ces méthodes sont conçues et prouvées sûres par interprétation abstraite, une théorie générale des approximations sûres de sémantiques.

De façon plus précise, j'ai travaillé sur les sujets suivants :

• les domaines abstraits numériques (e.g., , la bibliothèque Apron) ;
• l'analyse des calculs en virgule flottante (e.g., ) ;
• les modèles et les analyses de mémoire avec une sémantique de bas niveau (style C) (e.g., ) ;
• l'analyse de logiciels embarqués critiques (e.g., , l'analyseur Astrée) ;
• l'analyse de logiciels multi-tâches (e.g., , l'analyseur AstréeA).

Projets en cours

Voici les projets de recherche auxquels je participe actuellement :

[Voir tous les projets]

Organisation de conférences

Je suis impliqué dans l'organisation des conférences récentes ou à venir suivantes :

[Voir toutes les conférences]

Logiciels

Logiciels en cours de développement

Logiciels industrialisés

Logiciels non-maintenus

Dernières publications

Voici quelques unes des mes dernières publications :

[Voir toutes les publications]

Exposés récents

[Voir tous les exposés]

Enseignement

J'enseigne une partie du cours d'interprétation abstraite, en deuxième année du Master Parisien de Recherche en Informatique (MPRI) (cours M2: 2-6).

[Voir les enseignements passés]

Contact

E-mail
Téléphone	(+33) 1 44 32 21 17
Fax	(+33) 1 44 32 20 15
Adresse	Antoine Miné Département d'informatique École normale supérieure 45, rue d'Ulm 75230 Paris Cedex 05 France