Recherche

La recherche au LMF est structurée en trois pôles, chaque pôle étant lui-même organise 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