Automates et applications

Responsable : Olivier Serre

Thèmes de recherche

Les recherches de l’équipe Automates et applications portent d’une part sur les questions fondamentales de la théorie des automates et d’autre part sur des questions algorithmiques issues de problèmes concrets. Les aspects fondamentaux concernent principalement les semigroupes, la combinatoire des mots, les liens avec la logique, la topologie, les jeux, les fondements des bases de données, etc… Un effort particulier a été fait ces dernières années sur les extensions de la notion d’automate : automates travaillant sur des mots infinis ou même transfinis, automates avec sortie, etc. En ce qui concerne les applications, l’équipe travaille sur des problèmes issus de la vérification des systèmes, des bases de données, sur les applications des automates à l’arithmétique des ordinateurs, sur des algorithmes spécialisés pour la reconnaissance automatique dans les séquences génétiques.

Membres

NomTéléphoneBureauFonctionMail
Berthé Valérie 01 57 27 93 35 4014 Directeur.rice de recherche Mail
Borlido Celia Post-Doctorant.e Mail
Carton Olivier 01 57 27 92 54 4037 Professeur.e Mail
Cecchi Pauline Doctorant.e Mail
Choffrut Christian 01 57 27 92 26 4034 Professeur.e émérite Mail
Colcombet Thomas 01 57 27 92 61 4028a Directeur.rice de recherche Mail
Ferbus Marie Mail
Frougny Christiane 01 57 27 94 41 4027 Professeur.e émérite Mail
Gehrke Mai 01 57 27 94 39 4009 Directeur.rice de recherche Mail
Gheerbrant Amelie 4039 Maître de conférence Mail
Godin Thibault 01 57 27 94 56 4060 Doctorant.e Mail
Grigorieff Serge 4027 Professeur.e émérite Mail
Guillon Bruno 01 57 27 94 55 4059 Doctorant.e - ATER Mail
Hellouin-De-Menibus Benjamin 4055 ATER Mail
Jugé Vincent 4057 Doctorant.e Mail
Klimann Ines 01 57 27 94 49 4043 Maître de conférence Mail
Lagarde Guillaume 4055 Doctorant.e Mail
Marsault Victor 4053 ATER Mail
Ochremiak Joanna 4058 Post-Doctorant.e Mail
Perifel Sylvain 01 57 27 92 29 4017 Maître de conférence Mail
Petrisan Daniela 01 57 27 92 21 4029a Post-Doctorant.e Mail
Picantin Matthieu 01 57 27 94 49 4043 Maître de conférence Mail
Pin Jean-Éric 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS Mail
Puzynina Svetlana 4053 ATER Mail
Reggio Luca 4059 Doctorant.e Mail
Reiter Fabian 4031 Doctorant.e Mail
Rotondo Pablo Doctorant.e Mail
Russo Anna Carla 4059 Doctorant.e Mail
Sakarovitch Jacques Directeur.rice de recherche émérite Mail
Schöener Sebastian 4059 Doctorant.e Mail
Serre Olivier 01 57 27 94 18 4029 Directeur.rice de recherche Mail
Sirangelo Cristina 01 57 27 92 35 4042 Professeur.e Mail
Steiner Wolfgang 01 57 27 92 33 4044 Chargé.e de recherche Mail
Yunès Jean-Baptiste 01 57 27 92 62 4047 Maître de conférence Mail
Zaidi Mehdi 4059 Doctorant.e Mail
Zielonka Wiesław 01 57 27 94 51 4014a Professeur.e Mail