[English version]


Je suis Professeur à Sorbonne Université (anciennement Université Pierre et Marie Curie ou Paris 6). J'enseigne en sein de la Faculté d'ingéniérie (UFR 919) et j'effectue ma recherche dans l'équipe APR (dont je suis responsable), au laboratoire LIP6 (UMR 7606).

J'étais membre junior de l'Institut Universitaire de France de 2016 à 2021.

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 :

Nouvelles

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

Anciens doctorants

Ancien post-doctorants

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 à Sorbonne Université (Paris 6) et à l'Université Paris Cité (Paris 7) :



[Voir les enseignements passés]

Contact

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