Équipe thématique Pôle Automates, structures et vérification Automates et applications Responsable Thomas Colcombet Thèmes de recherche Les recherches de l’équipe Automates et applications portent d’une part sur les questions fondamentales de la théorie des automates et d’autre part sur des questions algorithmiques issues de problèmes concrets. Les aspects fondamentaux concernent principalement les semigroupes, la combinatoire des mots, les liens avec la logique, la topologie, les jeux, les fondements des bases de données, etc… Un effort particulier a été fait ces dernières années sur les extensions de la notion d’automate : automates travaillant sur des mots infinis ou même transfinis, automates avec sortie, etc. En ce qui concerne les applications, l’équipe travaille sur des problèmes issus de la vérification des systèmes, des bases de données, sur les applications des automates à l’arithmétique des ordinateurs, sur des algorithmes spécialisés pour la reconnaissance automatique dans les séquences génétiques. Séminaire Séminaire automate Permanents Nom@TéléphoneBureauFonctionPôleÉquipe 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 Choffrut Christian @ 01 57 27 94 45 4034a Professeur.e émérite ASV automates Colcombet Thomas @ 01 57 27 94 32 3042 Directeur.rice de recherche - CNRS ASV automates Frougny Christiane @ 01 57 27 94 41 4027 Professeur.e émérite - Université Paris 8 ASV , ASD automates , combi Gheerbrant Amelie @ 01 57 27 94 46 4039 Maître.sse de conférence ASV automates Grigorieff Serge @ 01 57 27 94 41 4027 Professeur.e émérite ASV automates Guessarian Irène @ 01 57 27 92 59 4049 Professeur.e émérite - Sorbonne Université 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 Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS 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 94 00 4016 Maître.sse de conférence ASV , PPS automates , algebre 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 émérite - CNRS ASV automates Pouly Amaury @ 01 57 27 94 00 4016 Chargé.e de recherche - CNRS ASV automates Sakarovitch Jacques @ 01 57 27 90 86 3032 Directeur.rice de recherche émérite - CNRS ASV automates Schmitz Sylvain @ 01 57 27 92 16 3048 Professeur.e ASV automates , verif 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 Van-Gool Sam @ 4011 Maître.sse de conférence ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférence ASV automates Zielonka Wiesław @ 01 57 27 94 51 3015 Professeur.e ASV automates Non-permanents Nom@TéléphoneBureauFonctionPôleÉquipe Dantam Mohan-Sai-Teja @ Stagiaire ASV automates Dolce Francesco @ 4053 ATER ASV , ASD automates , combi Douéneau Gaëtan @ 3033 Doctorant.e ASV automates Dupré Max @ Doctorant.e ASV , ASD automates , algocomp Gehrke Mai @ Membre associé.e - DR CNRS ASV automates Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3033 Doctorant.e ASV , PPS automates , algebre , preuves Libkin Leonid @ Visiteur.euse ASV automates Ohlmann Pierre @ 01 57 27 92 22 3035 Doctorant.e ASV automates Osmond Axel @ 01 57 27 94 56 3034 Doctorant.e ASV , PPS automates , algebre , preuves Peterfreund Liat @ 3018 Post-Doctorant.e ASV automates Renkin Florian @ Stagiaire ASV automates , verif Yassawi Reem @ 01 57 27 92 59 4049 Membre associé.e - Univ Lyon ASV automates