Site web d'Antoine Miné

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

• La version 1.0 de MOPSA est disponible !
  Elle peut être simplement installée via un package Opam avec la commande : opam install mopsa
  Vous pouvez également consulter les sources hébergées sous GitLab, ainsi que la documentation.
  

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

Doctorants et post-doctorants

Doctorants

• Milla Valnet (sept. 2023-), co-encadrement avec Raphaël Monat
• Marco Milanese (nov. 2022-)
• Mamy Razafintsialonina (oct. 2022-), co-direction avec Julien Signoles (CEA) et co-encadrement avec Valentin Perelle (CEA)
• Guillaume Bau (oct. 2020-)

Anciens doctorants

• Francesco Parolini (oct. 2020-juin 2024)
• David Delmas (jan. 2018-dec. 2022)
• Raphaël Monat (sep. 2018-nov. 2021)
• Matthieu Journault (sep. 2016-nov. 2019)
• Ghiles Ziat (jan. 2016-juil. 2019), co-direction avec Charlotte Truchet
• Thibault Suzanne (sep. 2014-mar. 2019)
• Caterina Urban (déc. 2011-juil. 2015), co-direction avec Radhia Cousot

Ancien post-doctorants

• Abdelraouf Ouadjaout (jan. 2016-août 2021)
• Marie Pelleau (fev. 2016-sept. 2017)
• Alexandre Maréchal (mar. 2018-fev 2019)

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) :

• L3, Licence de Sciences et Technologies, Mention informatique, Sorbonne Université : Programmation par objets (LU3IN002)
• L3, Licence de Sciences et Technologies, Mention informatique, Sorbonne Université : Programmation comparée (LU3IN032)
• M1, Master d'informatique, Spécialité STL, Sorbonne Université : Développement d’un langage de programmation
• M2, Master d'informatique, Spécialité STL, Sorbonne Université : Typage et analyse statique
• M2, Master MPRI, Université Paris Cité : Interprétation abstraite : application à la vérification et à l'analyse statique

[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 308 Campus Pierre et Marie Curie 4, place Jussieu 75252 Paris Cedex 05 France