-
Ingénierie des systèmes complexes et logiciels
-
Numérique
Laboratoire Méthodes Formelles
Unité de recherche UMR 9021
Le Laboratoire Méthodes Formelles (LMF) est né de la volonté de créer un pôle ciblé sur les méthodes formelles. Son ambition est d’éclairer le « monde numérique » grâce à la logique mathématique en utilisant les méthodes formelles comme outil d’analyse, de modélisation et de raisonnement pour les programmes informatiques, les protocoles de sécurité, etc. Il s'appuie sur des paradigmes de calcul des plus classiques aux plus novateurs comme l’informatique quantique.
Le LMF est structuré en pôles : son cœur de métier en comporte deux, « Preuves » et « Modèles » ; le troisième, « Interactions », est une ouverture à d’autres domaines tels que l’IA et la biologie.
Thématiques d'innovation
4, avenue des Sciences
91190 GIF-SUR-YVETTE
Expertises
- Fondements du calcul, langages et compilation
- Méthodes formelles pour l'arithmétique des ordinateurs
- Preuve de programmes
- Preuve mécanisée
Pôle "Modèles" :
- Concurrence et distribué
- Model-checking et synthèse
- Modélisation formelle des systèmes critiques
- Test formel et monitoring
Pôle "Interactions" :
- Topologie et applications en informatique
- Méthodes formelles pour la sécurité
- Méthodes formelles pour l'informatique quantique
- Méthodes formelles pour la biologie
- Méthodes formelles pour l'intelligence artificielle
Secteurs d'applications
- Informatique
Effectif total
Nombre de chercheurs : 58
Nombre de doctorants : 44
Mots clés
Types d'offres
- Recherche et développement
Publications
Etablissements de rattachement
