[English version]


Le projet MOPSA recrute des post-doctorants.


Je suis Professeur à l'Université Pierre et Marie Curie (Paris 6), depuis septembre 2015. J'enseigne en sein de la Faculté d'ingéniérie (UFR 919) et j'effectue ma recherche dans l'équipe APR du Laboratoire d'informatique de Paris 6 (LIP6, UMR 7606). Je suis également membre junior de l'Institut Universitaire de France (promotion 2016).

Avant cela, j'étais chargé de recherche en informatique au Centre national de la recherche scientifique (CNRS) affecté au département d'informatique de l'École normale supérieure dans l'équipe Antique (anciennement Abstraction) de l'INRIA Paris-Rocquencourt.

Je suis titulaire d'une thèse en informatique de l'École Polytechnique et d'une habilitation à diriger des recherches de l'École normale supérieure.

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 :

Doctorants et post-doctorants

Doctorants

Post-doctorants

Doctorants passés

Projets en cours

Voici les projets de recherche auxquels je participe actuellement :


[Voir tous les projets]

Organisation de conférences


[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 l'informatique à l'Université Pierre et Marie Curie (Paris 6), à l'Université Paris Diderot (Paris 7) et à l'École normale supérieure :



[Voir les enseignements passés]

Contact

E-mail
Téléphone (+33) 1 44 27 87 84
Adresse Antoine Miné
UPMC - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 311
4, place Jussieu
75252 Paris Cedex 05
France