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
  • Carine Pivoteau - Maitresse de conférences
  • Chloé Rispal - Maitresse de conférences
  • Claire David - Maitresse de conférences
  • Cyril Nicaud - Professeur
  • Didier Caucal - Directeur de recherche
  • Dominique Perrin - Professeur émérite
  • Eric Fusy - Directeur de recherche
  • Fabian Reiter - Maitre de conférences
  • Giuseppina Rindone - Maitresse de conférences
  • Liat Peterfreund - Chargée de recherche
  • Léo Exibard - Maitre de conférences
  • Marie Van Den Bogaard - Maitresse de conférences
  • Marie-Pierre Béal - Professeure
  • Nadime Francis - Maitre de conférences
  • Olivier Curé - Maitre de conférences
  • 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

  • Carl Fredrik Nyberg Brodda - CDD
  • Christophe Calle - Doctorant
  • Julien Roupin - Doctorant
  • Lorris Creantor - Doctorant
  • Lucien Charamond - Doctorant
  • Maxime Thouvenot - Doctorant
  • Zéphyr Salvy - En doctorat