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.
É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)
