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.


Seminar

Permanent members

Name@PhoneOfficePositionPoleTeam
Berthé Valérie @ 01 57 27 93 35 4014 Senior Research Scientist - CNRS ASV , ASD automates , combi
Carton Olivier @ 01 57 27 92 54 4037 Professor ASV automates
Choffrut Christian @ 01 57 27 92 26 4034 Professor Emeritus ASV automates
Colcombet Thomas @ 01 57 27 94 32 3042 Senior Research Scientist - CNRS ASV automates
Durand Fabian @ 4008 Professor ASV automates
Frougny Christiane @ 01 57 27 94 41 4027 Professor Emeritus ASV , ASD automates , combi
Gheerbrant Amelie @ 4039 Associate Professor ASV automates
Guessarian Irène @ 01 57 27 92 59 4049 Professor Emeritus ASV automates , verif
Habermehl Peter @ 01 57 27 92 58 3022 Associate Professor ASV automates , verif
Horn Florian @ 01 57 27 94 46 4039 Research Scientist - CNRS ASV automates , verif
Klimann Ines @ 01 57 27 94 49 4043 Associate Professor ASV automates
Melliès Paul-André @ 01 57 27 92 48 3023 Senior Research Scientist - CNRS ASV , PPS automates , algebre , preuves
Perifel Sylvain @ 01 57 27 92 29 4017 Associate Professor ASV , ASD automates , algocomp
Picantin Matthieu @ 01 57 27 94 49 4043 Associate Professor PPS , ASV algebre , automates
Pin Jean-Éric @ 01 57 27 92 18 4007 Senior Research Scientist - CNRS ASV automates
Sakarovitch Jacques @ 01 57 27 92 60 4054 Senior Research Scientist Emeritus - CNRS ASV automates
Serre Olivier @ 01 57 27 94 18 4029 Senior Research Scientist - CNRS ASV automates
Sirangelo Cristina @ 01 57 27 92 35 4042 Professor ASV automates
Steiner Wolfgang @ 01 57 27 92 33 4044 Research Scientist - CNRS ASV , ASD automates , combi
Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Associate Professor ASV automates
Zielonka Wiesław @ 01 57 27 94 51 3015 Professor ASV automates


Non-permanent members

Name@PhoneOfficePositionPoleTeam
Cecchi Paulina @ 3026 PhD Student ASV , ASD automates , combi
Dolce Francesco @ 4053 Teaching and Research Assistant ASV , ASD automates , combi
Fijalkow Nathanael @ Associated Member ASV automates
Gehrke Mai @ Associated Member - DR CNRS ASV automates
Grigorieff Serge @ 4027 Associated Member ASV automates
Lagarde Guillaume @ 01 57 27 92 31 4055 PhD Student ASV , ASD automates , algocomp
Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 PhD Student ASV , PPS automates , algebre , preuves
Ohlmann Pierre @ 0667368318 3035 PhD Student ASV automates
Osmond Axel @ 01 57 27 94 56 4060 PhD Student ASV , PPS automates , algebre , preuves
Petrisan Daniela @ 01 57 27 92 21 4029a Associated Member - Post-Doctorante ASV automates
Rotondo Pablo @ 4053 PhD Student ASV , ASD automates , combi
Yassawi Reem @ 01 57 27 92 59 4049 Associated Member ASV automates
Zetzsche Georg @ 01 57 27 94 07 4032 Post-Doc ASV automates