Thomas Colcombet

Me

Contact

email 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 courrier

Thomas Colcombet
IRIF - Case 7014
Université Paris Diderot
75205 Paris Cedex 13
France

Adresse réelle et courrier par porteur

Bureau 4028a
Bâtiment Sophie Germain
8 place Aurélie Nemours
4ème étage
75013 Paris
(téléphone secrétariat +33 (0) 1 57 27 92 56)

Informations

Je suis directeur de recherche au Cnrs dans l’équipe automates et applications de l’Irif (Paris, France). J’ai soutenu ma thèse de doctorat en 2004, et mon habilitation en 2013. Mon CV donne plus de détails.

Je m’intéresse principalement à la logique, à la théorie des automates et aux jeux en lien avec la verification.

Plus précisément, je m’intéresse à la théorie des modèles, la théorie des modèles finis, la logique monadique, les bases de données, la théorie des languages, les semigroupes, la théorie des automates et plus particulièrement leurs formes quantitatives (automates pondérés, fonctions régulières de coût, automates nominaux), ainsi que les jeux en lien avec la vérification.

Enseignement

J’enseigne avec Stefan Göller, Ines Klimann, et Jacques Sakarovitch le cours modélisation par automates finis du Master Parisien de Recherche en Informatique (MPRI).

Il existe des notes de cours (non à jour). Des informations plus complètes (et dépassant le sujet de ce cours) peuvent être trouvés dans le document d’habilitation.

Logiciel

Je développe le paquet LaTeX knowledge dont l’objectif est d’aider à la création de documents scientifiques enrichis.

Évènements

Historique.