Page de Thomas Colcombet

Me

Me contacter

Mèl prénom.nom@liafa.univ-paris-diderot.fr
Tel. +33 (0) 1 57 27 92 61
Fax +33 (0) 1 57 27 94 09

Adresse postale (courrier standard)

Thomas Colcombet
Université Paris 7 - Paris Diderot
LIAFA (Case 7014)
Bâtiment Sophie Germain
75205 Paris Cedex 13
France

Adresse physique (et courrier par porteur)

Bureau 4028a
Bâtiment Sophie Germain
8 Place FM/13
4ème étage
75013 Paris
(secrétariat +33 (0) 1 57 27 92 56)

Quelques informations

Je suis chargé de recherche (CR1) au Cnrs et je travaille au sein de l'Équipe automates et applications au Liafa (Paris, France). J'ai soutenu mon habilitation en 2013. Plus de détails dans mon CV.

J'encadre actuellement deux étudiants en thèse, Laure Daviaud (co-encadrée par Jean-Éric Pin) et Nathanaël Fijalkow (en co-tutelle avec Mikołaj Bojańczyk).

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

  • les automates sur les arbres finis, cheminants, à jetons,
  • les automates sur les mots infinis, de longueur omega ou au delà, 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.

Mon document d'habilitation.

Évènements

Organising the conference Highlights 2013 (September 18-21, Paris).
Invited Speaker at CSR 2013 (June 25-29, Ekaterinburg).
Invited Speaker at TbiLLC'13 (September 23-27, Tbilisi).
PC member of MFCS 2013 (August 26-30, Vienna).
Évènements anciens.


Enseignement

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

Notes de cours (en français, ancien)

Sujet d'examen 2011-2012.