Responsable : Cyril Nicaud
Admin web : Victor Marsault

Bases de données, Automates, Analyse d'algorithmes et Modèles

La recherche de l'équipe BAAM autour de deux pôles principaux: l'analyse d'algorithmes (complexité en moyenne, combinatoire analytique et énumérative), et les méthodes formelles (automates, logique, jeux) motivés par la vérification, les bases de données et la représentation des connaissances.

Thèmes de recherches

  • Bases de données
  • Analyse d'algorithmes
  • Automates et logique
  • Modèles finis et infinis

Membres permanents

  • Antoine Meyer - Maitre de conférences
  • Arnaud Carayol - Professeur des universités
  • Carine Pivoteau - Maitresse de conférences
  • Chloé Rispal - Maitresse de conférences
  • Claire David - Maitresse de conférences
  • Cyril Nicaud - Professeur des universités
  • Didier Caucal - Directeur de recherche
  • Dominique Perrin - Professeur des universités émérite
  • Eric Fusy - Directeur de recherche
  • Fabian Reiter - Maitre de conférences
  • Léo Exibard - Maitre de conférences
  • Marie Van Den Bogaard - Maitresse de conférences
  • Marie-Pierre Béal - Professeure des universités
  • Nadime Francis - Maitre de conférences
  • Olivier Curé - Professeur des universités
  • Pablo Rotondo - Maitre de conférences
  • Victor Marsault - Chargé de recherche
  • Vincent Jugé - Maitre de conférences
  • Wenjie Fang - Maitre de conférences
  • Membres non permanents

  • Aaron Boussidan - Doctorant
  • June Roupin - En doctorat
  • Lorris Creantor - Doctorant
  • Lucien Charamond - Doctorant
  • Titouan Galor - Doctorant