Automata and applications Group leader: Olivier Serre Research interests 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 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 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 Directeur.rice de recherche 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 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.sse de conférence Mail Lagarde Guillaume 4055 Doctorant.e Mail Marsault Victor 4053 ATER 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 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 Yassawi Reem Membre associé.e Mail Yunès Jean-Baptiste 01 57 27 92 62 4047 Maître.sse de conférence Mail Zaidi Mehdi 4059 Doctorant.e Mail Zielonka Wiesław 01 57 27 94 51 4014a Professeur.e Mail