Thematic team Pole Automata, structures and verification Automata and applications Leader Thomas Colcombet 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. Seminar Automata seminar Members Name@PhoneOfficePositionPoleTeam Berthé Valérie @ 01 57 27 93 35 4014 Directeur.rice de recherche - CNRS ASV , ASD automates , combi Carton Olivier @ 01 57 27 92 54 4037 Professeur.e ASV automates Cecchi Paulina @ 3026 Doctorant.e ASV , ASD automates , combi Choffrut Christian @ 01 57 27 92 26 4034 Professeur.e émérite ASV automates Colcombet Thomas @ 01 57 27 94 32 3042 Directeur.rice de recherche - CNRS ASV automates Fijalkow Nathanael @ Membre associé.e ASV automates Frougny Christiane @ 01 57 27 94 41 4027 Professeur.e émérite ASV , ASD automates , combi Gehrke Mai @ Membre associé.e - DR CNRS ASV automates Gheerbrant Amelie @ 4039 Maître.sse de conférence ASV automates Grigorieff Serge @ 4027 Membre associé.e ASV automates Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite ASV automates , verif Habermehl Peter @ 01 57 27 92 58 3022 Maître.sse de conférence ASV automates , verif Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif Klimann Ines @ 01 57 27 94 49 4043 Maître.sse de conférence ASV automates Lagarde Guillaume @ 01 57 27 92 31 4055 Doctorant.e ASV , ASD automates , algocomp Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 Doctorant.e ASV , PPS automates , algebre , preuves Melliès Paul-André @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS , ASV algebre , automates , preuves Osmond Axel @ 01 57 27 94 56 4060 Doctorant.e ASV , PPS automates , algebre , preuves Perifel Sylvain @ 01 57 27 92 29 4017 Maître.sse de conférence ASV , ASD automates , algocomp Petrisan Daniela @ 01 57 27 92 21 4029a Membre associé.e - Post-Doctorante ASV automates Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférence PPS , ASV algebre , automates Pin Jean-Éric @ 01 57 27 92 18 4007 Directeur.rice de recherche - CNRS ASV automates Rotondo Pablo @ 4053 Doctorant.e ASV , ASD automates , combi Sakarovitch Jacques @ 01 57 27 92 60 4054 Directeur.rice de recherche émérite - CNRS ASV automates Serre Olivier @ 01 57 27 94 18 4029 Directeur.rice de recherche - CNRS ASV automates Sirangelo Cristina @ 01 57 27 92 35 4042 Professeur.e ASV automates Steiner Wolfgang @ 01 57 27 92 33 4044 Chargé.e de recherche - CNRS ASV , ASD automates , combi Yassawi Reem @ 01 57 27 92 59 4049 Membre associé.e ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférence ASV automates Zetzsche Georg @ 01 57 27 94 07 4032 Post-Doctorant.e ASV automates Zielonka Wiesław @ 01 57 27 94 51 3015 Professeur.e ASV automates