Thematic team Pole Automata, structures and verification Automata and applications Head Sylvain Schmitz 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 4007 Professor Emeritus ASV automates Colcombet Thomas @ 01 57 27 94 32 3042 Senior Research Scientist - CNRS ASV automates Fortin Marie @ 01 57 27 94 00 4016 Research Scientist - CNRS ASV automates Gheerbrant Amelie @ 01 57 27 94 46 4039 Associate Professor ASV automates Guessarian Irène @ 01 57 27 92 59 3032 Professor Emeritus - Sorbonne Université ASV automates , verif Habermehl Peter @ 01 57 27 92 68 3009 Professor ASV automates , verif Horn Florian @ 01 57 27 94 46 4039 Research Scientist - CNRS ASV automates , verif Laroussinie François @ 01 57 27 92 42 4034 Professor ASV automates , verif Libkin Leonid @ 3042 Professor - Chaire industrielle ASV automates Melliès Paul-André @ 01 57 27 92 48 3023 Senior Research Scientist - CNRS ASV , PPS automates , algebre , preuves , picube Petrisan Daniela @ 01 57 27 94 00 4016 Associate Professor ASV , PPS automates , algebre , picube 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 Emeritus - CNRS ASV automates Pouly Amaury @ Research Scientist - CNRS - Currently on leave ASV automates Sakarovitch Jacques @ 01 57 27 90 86 3032 Senior Research Scientist Emeritus - CNRS ASV automates Schmitz Sylvain @ 01 57 27 92 16 3048 Professor ASV automates , verif 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 Winter Sarah @ 4026 Associate Professor ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Associate Professor ASV automates Zielonka Wiesław @ 3015 Professor Emeritus ASV automates van Gool Sam @ 01 57 27 94 05 4011 Associate Professor ASV , PPS automates , algebre Non-permanent members Name@PhoneOfficePositionPoleTeam Aristote Quentin @ 3010 PhD Student ASV , PPS automates , picube Buffiere Hector @ 4055 PhD Student ASV , ASD automates , graphes Cherradi El-Mehdi @ 4054 PhD Student ASV , PPS automates , algebre , preuves De-Lacerda-Werneck Maria-Clara @ 3033 PhD Student ASV , ASD automates , combi Erlich Enzo @ 3014 PhD Student ASV , PPS automates , algebre Idir Olivier @ 4033 PhD Student ASV automates Larroque Emile @ PhD Student ASV automates , verif Laversa Laetitia @ 3044 Teaching and Research Assistant ASV automates , verif Marques Jeremie @ 3028 Post-Doc ASV automates Mollo-Cunningham Ignacio-Agustin @ Visitor ASV automates Moreau Vincent @ 4033 PhD Student ASV , PPS automates , picube , algebre Passemard Luc @ 4060 PhD Student ASV automates Rogova Alexandra @ 3035 PhD Student ASV automates Tarantino Umberto @ PhD Student ASV , PPS automates , algebre Van Sint Jan Nicolàs @ 07 68 11 74 69 3035 PhD Student ASV automates Yilmaz Deniz @ 3034 PhD Student ASV automates