Équipe thématique Pôle Automates, structures et vérification Automates et applications Responsable Sylvain Schmitz 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 4007 Professeur.e émérite ASV automates Colcombet Thomas @ 01 57 27 94 32 4008a Directeur.rice de recherche - CNRS ASV automates Fortin Marie @ 01 57 27 94 00 4016 Chargé.e de recherche - CNRS ASV automates , verif Gheerbrant Amelie @ 01 57 27 94 46 4039 Maître.sse de conférences ASV automates Guessarian Irène @ 01 57 27 92 59 3032 Professeur.e émérite - Sorbonne Université ASV automates , verif Habermehl Peter @ 01 57 27 92 68 3009 Professeur.e ASV automates , verif Horn Florian @ 01 57 27 94 46 4039 Chargé.e de recherche - CNRS ASV automates , verif Laroussinie François @ 01 57 27 92 42 4034 Professeur.e ASV automates , verif Libkin Leonid @ 3042 Professeur.e - Chaire industrielle ASV automates Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves , picube Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférences ASV , PPS automates , algebre , picube Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférences PPS , ASV algebre , automates Pouly Amaury @ Chargé.e de recherche - CNRS - Currently on leave 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 Winter Sarah @ 01 57 27 94 01 4026 Maître.sse de conférences ASV automates Yunès Jean-Baptiste @ 01 57 27 92 62 4047 Maître.sse de conférences ASV automates Zielonka Wiesław @ 3047 Professeur.e émérite ASV automates van Gool Sam @ 01 57 27 94 05 4011 Maître.sse de conférences ASV , PPS automates , algebre Non-permanents Nom@TéléphoneBureauFonctionPôleÉquipe Aristote Quentin @ 3010 Doctorant.e ASV , PPS automates , picube Buffiere Hector @ 4055 Doctorant.e ASV , ASD automates , graphes Cherradi El-Mehdi @ 4054 Doctorant.e ASV , PPS automates , algebre , preuves De-Lacerda-Werneck Maria-Clara @ 3033 Doctorant.e ASV , ASD automates , combi Erlich Enzo @ 3014 Doctorant.e ASV , PPS automates , algebre Idir Olivier @ 4033 Doctorant.e ASV automates Laversa Laetitia @ 3044 ATER ASV automates , verif Marques Jeremie @ 3028 Post-Doctorant.e ASV automates Mollo-Cunningham Ignacio-Agustin @ Visiteur.euse ASV automates Moreau Vincent @ 4033 Doctorant.e ASV , PPS automates , picube , algebre Passemard Luc @ 4060 Doctorant.e ASV automates Regaud Gaetan @ Stagiaire ASV automates Tarantino Umberto @ 4060 Doctorant.e ASV , PPS automates , algebre Van Sint Jan Nicolàs @ 07 68 11 74 69 3035 Doctorant.e ASV automates Wrigley Joshua @ 3018 Post-Doctorant.e ASV automates Yilmaz Deniz @ 3034 Doctorant.e ASV automates Zablocki Jean @ Stagiaire ASV automates