Page de Thomas Colcombet

Me

Me contacter

Bureau 6A23 au 175 rue du Chevaleret, 75013 Paris
Mel prenom.nom@liafa.jussieu.fr
Tel. +33 (0) 1 57 27 92 29
Fax +33 (0) 1 57 27 94 09


Adresse postale

Laboratoire Liafa,
Université Paris Diderot - Paris 7
Case 7014
F-75205 Paris Cedex 13
France

Informations générales

Je suis chargé de recherche (CR1) au Cnrs et je travaille au sein de l'équipe automates et applications au Liafa (Paris, France).

Mon thème de recherche principal est la théorie des automates et ses liens avec la logique. Entre autres:

  • les automates sur les arbres finis, cheminants, à jetons,
  • les automates sur les mots infinis, la logique monadique et ses extensions,
  • les automates sur les arbres infinis, la logique monadique et ses extensions,
  • la théorie des jeux appliquée à la logique.


Enseignement

Je participe avec Christian Choffrut, Jacques Sakarovitch a l'enseignement du module intitulé modélisation par automates finis du MPRI.


Évènements

Évènements anciens.