Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil du LIAFA
LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS et Université Paris Diderot
UMR 7089
   Annuaire      Contact      Accès au LIAFA      UFR d'informatique      Webmail   


English version




Page d'accueil de la Fédération de Recherche en Mathématiques de Paris Centre

Page d'accueil de la Fondation Sciences Mathématiques de Paris

Page d'accueil de Sciences En Marche
Automates et applications
Séminaires

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.



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 émérite 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
Amélie Gheerbrant Maître de conférence PARIS 7
Serge Grigorieff Professeur émérite PARIS 7
Ines Klimann Maître de conférence PARIS 7
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
Cristina Sirangelo Professeur PARIS 7
Wolfgang Steiner Chargé de recherche CNRS
Jean-Baptiste Yunès Maître de conférence PARIS 7
Wieslaw Zielonka Professeur PARIS 7


Doctorants

Thibault Godin Doctorant PARIS 7
Charles Grellois Doctorant ENS Cachan
Bruno Guillon Doctorant PARIS 7
Tomáš Hejda Doctorant PARIS 7
Vincent Jugé Doctorant Ecole des Mines
Bruno Karelovic Doctorant PARIS 7
Guillaume Lagarde Doctorant PARIS 7
Arthur Milchior Doctorant PARIS 7
Luca Reggio Doctorant PARIS 7
Fabian Reiter Doctorant PARIS 7
Anna Carla Russo Doctorante PARIS 7

 
 ©  LIAFA 1995, dernière mise à jour: Janvier 2016 webmestre[at]liafa.univ-paris-diderot.fr