Leader


Research themes

The research carried out at the Automata and applications team covers the fundamental aspects of automata theory, as well as algorithmic questions arising from concrete problems. The fundamental aspects concern mainly semigroups, combinatorics on words, foundation of databases, the link with logic, topology, games, etc. In the recent years, special effort has been devoted to the extensions of the notion of automaton : automata on infinite or even transfinite words, automata with output, etc. Concerning applications, the team is working on problems arising from model checking, discrete event systems modelling, databases, computer arithmetic, and on algorithms for the automatic recognition in genetic sequences.


Members

NamePhoneOfficePositionMail
Berthé Valérie 01 57 27 93 35 4014 Directeur.rice de recherche Mail
Carton Olivier 01 57 27 92 54 4037 Professeur.e Mail
Cecchi Pauline 3026 Doctorant.e Mail
Choffrut Christian 01 57 27 92 26 4034 Professeur.e émérite Mail
Colcombet Thomas 01 57 27 92 61 3042 Directeur.rice de recherche Mail
Fijalkow Nathanael Membre associé.e Mail
Frougny Christiane 01 57 27 94 41 4027 Professeur.e émérite Mail
Gehrke Mai 01 57 27 94 39 4009 Membre associé.e Mail
Gheerbrant Amelie 4039 Maître.sse de conférence Mail
Godin Thibault 01 57 27 94 56 4060 Doctorant.e Mail
Grigorieff Serge 4027 Professeur.e émérite Mail
Guessarian Irène 01 57 27 92 59 4049 Professeur.e émérite Mail
Habermehl Peter 01 57 27 92 58 3022 Maître.sse de conférence Mail
Horn Florian 01 57 27 94 46 4039 Chargé.e de recherche Mail
Klimann Ines 01 57 27 94 49 4043 Maître.sse de conférence Mail
Lagarde Guillaume 4055 Doctorant.e Mail
Leena-Subramaniam Chaitanya 3034 Doctorant.e Mail
Melliès Paul-Andre 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail
Ochremiak Joanna 4058 Post-Doctorant.e Mail
Osmond Axel 4060 Doctorant.e Mail
Perifel Sylvain 01 57 27 92 29 4017 Maître.sse 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.sse de conférence Mail
Pin Jean-Éric 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS Mail
Reiter Fabian 4031 Doctorant.e Mail
Rotondo Pablo 4053 Doctorant.e Mail
Sakarovitch Jacques Directeur.rice de recherche émérite 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
Yassawi Reem Membre associé.e Mail
Yunès Jean-Baptiste 01 57 27 92 62 4047 Maître.sse de conférence Mail
Zetzsche Georg 4032 Post-Doctorant.e Mail
Zielonka Wiesław 01 57 27 94 51 3015 Professeur.e Mail