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 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 94 45 4034a Professor Emeritus ASV automates Colcombet Thomas @ 01 57 27 94 32 3042 Senior Research Scientist - CNRS ASV automates Frougny Christiane @ 01 57 27 94 41 4027 Professor Emeritus - Université Paris 8 ASV , ASD automates , combi Gheerbrant Amelie @ 01 57 27 94 46 4039 Associate Professor ASV automates Grigorieff Serge @ 01 57 27 94 41 4027 Professor Emeritus ASV automates Guessarian Irène @ 01 57 27 92 59 4049 Professor Emeritus - Sorbonne Université 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 Petrisan Daniela @ 01 57 27 94 00 4016 Associate Professor ASV , PPS automates , algebre 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 Pouly Amaury @ 01 57 27 94 00 4016 Research Scientist - CNRS ASV automates Sakarovitch Jacques @ 01 57 27 90 86 3032 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 Dantam Mohan-Sai-Teja @ Intern ASV automates Dolce Francesco @ 4053 Teaching and Research Assistant ASV , ASD automates , combi Dupre Max @ 3010 Intern ASV , ASD automates , algocomp Durand Fabian @ 01 57 27 92 41 4008b Associated Member - PR Univ Picardie ASV automates Gehrke Mai @ Associated Member - DR CNRS ASV automates Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3033 PhD Student ASV , PPS automates , algebre , preuves Ohlmann Pierre @ 01 57 27 92 22 3035 PhD Student ASV automates Osmond Axel @ 01 57 27 94 56 3034 PhD Student ASV , PPS automates , algebre , preuves Renkin Florian @ Intern ASV automates , verif Yassawi Reem @ 01 57 27 92 59 4049 Associated Member - Univ Lyon ASV automates