Méthodes et Modèles Formels

Responsables de département : Hugo Gimbert and Antoine Rollet

Les thèmes de recherche du département incluent les fondements des méthodes formelles (automates, logiques, vérification), la transformation des données en modèles formels (apprentissage, méthodes symboliques), et les applications, notamment dans les domaines de la robotique, des neurosciences computationelles et des systèmes de transports intelligents.

Illustration des activités M2F

 

Le département M2F se structure autour de quatre équipes (LX / MTV / RATIO / DART). Les thèmes de ces équipes sont les suivants:

Structuration M2F

Groupes de travail

Le séminaire de département a lieu à un rythme bi-mensuel, et  chaque équipe possède un ou plusieurs groupes de travail.