Recherche

La recherche au LMF est structurée en trois pôles, chaque pôle étant lui-même organisé en thématiques :

• Pôle "Preuves et langages"
  • 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

Par ailleurs, le LMF héberge trois EPC Inria : Deducteam, Mexico, Toccata