Équipe thématique


Responsable


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

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 3042 Directeur.rice de recherche - CNRS ASV automates
Fortin Marie @ 01 57 27 94 00 4016 Chargé.e de recherche - CNRS ASV automates
Frougny Christiane @ Professeur.e émérite - Université Paris 8 ASV , ASD automates , combi
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 58 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
Pin Jean-Éric @ 01 57 27 92 18 4007 Directeur.rice de recherche émérite - CNRS ASV 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 @ 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 @ 3015 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