Antoine MINÉ

Statut

Professeur des universités

Promotion

Membre honoraire 2016

Établissement

Sorbonne Université

Secteur disciplinaire

Sciences de l'ingénieur

Spécialité

Analyse et vérification des systèmes informatiques

Thématique

- Vérification formelles des programmes parallèles
- Développement d'analyses statiques sûres
- Liens entre interprétation abstraite, programmation par contraintes et model-checking

Présentation

Mon programme de recherche vise à améliorer la qualité des logiciels informatiques par le développement de nouvelles méthodes pour l'analyse statique sémantique, automatique, sûre et efficace. Je souhaite étendre et appliquer le cadre de l'interprétation abstraite, qui a déjà permis le développement d'analyseurs effectifs. Mes axes principaux de recherche sont : l'extension à l'analyse de programmes concurrents, de plus en plus répandus mais difficiles à concevoir correctement et à analyser ; les liens et interactions entre interprétation abstraite et domaines connexes (model-checking, programmation par contraintes) ; le développement d'une plate-forme d'analyse modulaire, ouverte, multi-langages et multi-propriétés pour l'expérimentation d'analyses novatrices.

Membre junior de la promotion 2016.