---

Responsable: Olivier Serre    Page personnelle

---

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, 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, de la modélisation des systèmes concurrents, 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. Site web de l'équipe

---

Mots clés

Automates, modèle de base et extensions. Automates, algèbre, logique. Automates et numération. Automates et systèmes a événements discrets. Automates et jeux. Automates cellulaires. Combinatoire des mots et des arbres. Hasard et complexité de Kolmogorov.

---

Membres permanents

Valérie Berthé	Directrice de recherche	CNRS
Laurent Bienvenu	Chargé de recherche	CNRS
Olivier Carton	Professeur	PARIS 7
Christian Choffrut	Professeur	PARIS 7
Thomas Colcombet	Chargé de recherche	CNRS
Marie Ferbus	Maître de conférence	PARIS 7
Christiane Frougny	Professeur émérite	PARIS 8
Mai Gehrke	Directrice de recherche	CNRS
Serge Grigorieff	Professeur émérite	PARIS 7
Lukasz Kaiser	Chargé de recherche	CNRS
Ines Klimann	Maître de conférence	PARIS 7
Jean Mairesse	Directeur de recherche	CNRS
Sylvain Perifel	Maître de conférence	PARIS 7
Matthieu Picantin	Maître de conférence	PARIS 7
Jean Eric Pin	Directeur de recherche	CNRS
Olivier Serre	Chargé de recherche	CNRS
Wolfgang Steiner	Chargé de recherche	CNRS
Jean-Baptiste Yunès	Maître de conférence	PARIS 7
Wieslaw Zielonka	Professeur	PARIS 7

---

Postes temporaires

Pierre Gillibert	Post-doctorant	CNRS	[ 07 Sep 2012 - 07 Oct 2013 ]
Sébastien Labbé	Post-doctorant	PARIS 7	[ 01 Oct 2012 - 31 Aug 2013 ]
Pawel Parys	Post-doctorant	CNRS	[ 01 Oct 2012 - 30 Jun 2013 ]
Christopher Porter	Post-doctorant	NSF	[ 07 Sep 2012 - 06 Sep 2014 ]
Paul Shafer	Post-doctorant	PARIS 7	[ 28 Sep 2012 - 31 Dec 2013 ]

---

Doctorants

Luc Dartois	Doctorant	ENS Cachan
Laure Daviaud	Doctorante	CNRS
Nathanaël Fijalkow	Doctorant	ENS Cachan
Charles Grellois	Doctorant	ENS Cachan
Bruno Guillon	Doctorant	PARIS 7
Axel Haddad	Doctorant	ENS Cachan
Tomáš Hejda	Doctorant	PARIS 7
Timo Jolivet	Doctorant	PARIS 7
Vincent Jugé	Doctorant	Ecole des Mines
Bruno Karelovic	Doctorant	PARIS 7
Denis Kuperberg	Doctorant	PARIS 7
Irene Marcovici	Doctorante	PARIS 7
Arthur Milchior	Doctorant	PARIS 7
Benoît Monin	Doctorant	PARIS 7
Charles Paperman	Doctorant	PARIS 7
Yann Pequignot	Doctorant	PARIS 7
Antoine Taveneaux	Doctorant	PARIS 7
Sam Van Gool	Doctorant	PARIS 7
Lorijn Van Rooijen	Doctorante	CNRS