Thomas Colcombet

(professional page)

Contact

email: prénom.nom@irif.fr
tel: +33 (0) 1 57 27 94 32
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

Bureau 3042
Bâtiment
Sophie Germain
8 place Aurélie Nemours
3ème étage
75013 Paris

Affiliations

Quelques informations

Je suis directeur de recherche en informatique au Cnrs et responsable de l’équipe “automates et applications” de l’Irif (Paris, France).

Je m’intéresse principalement à la logique (théorie des modèles, algorithmique et des modèles finis), à la théorie des automates, aux jeux et aux catégories en lien avec la vérification.

J’ai soutenu ma thèse de doctorat en 2004, et mon habilitation sur les fonctions régulières de coût en 2013. Mon CV donne plus de détails.

Étudiants en thèse

J’encadre actuellement la thèse d’Arthur Jaquard, ainsi que la thèse d’Antonio Casares en codirection avec Nathanaël Fijalkow et Igor Walukiewicz.

J’ai encadré les thèses de Laure Daviaud (avec Jean-Éric Pin), Nathanaël Fijalkow (avec Mikołaj Bojańczyk), et Denis Kuperberg.

Publications

Elles peuvent être trouvées sur cette page ou sur DBLP.

Coauteurs

David Barrozini, Michael Benedikt, Achim Blumensath, Mikołaj Bojańczyk, Arnaud Carayol, Olivier Carton, Antonio Casares, Balder ten Cate, Lorenzo Clemente, Laure Daviaud, Nathanaël Fijalkow, Pascal Fradet, Paweł Gawrychowski, Stefan Göller, Sam van Gool, Florian Horn, Arthur Jaquard, Marcin Jurdziński, Denis Kuperberg, Ranko Lazić, Clemens Ley, Christof Löding, Amaldev Manuel, Rémi Morvan, Damian Niwiński, Paweł Parys, Daniela Petrişan, Sylvain Lombardy, Pierre Ohlmann, Joël Ouaknine, Gabriele Puppis, Sylvain Schmitz, Pavel Semukhin, A. V. Sreejith, Riccardo Stabile, Szymon Toruńczyk, Michael Vanden Boom, James Worrel, Konrad Zdanowski, Florian Zuleger.

Enseignement

J’enseigne avec Alexis Saurin dans le Master Logique et Fondements de l’Informatique (LMFI) le module ”Quantification du second-ordre et points-fixes en logique”.

Je donne également les TP de “programmation réseau” en license 3 (cours de Arnaud Sangnier).

Logiciel

Je développe le paquet LaTeX knowledge dont l’objectif est d’aider à la création de documents scientifiques enrichis. Je développe également le paquet companion mathcommand qui offre des fonctionnalités avancées pour définir des macros en mode mathématique.

Activities

Membre du conseil de l’EATCS. Responsable du comité de pilotage de la conférence highlights. Responsable du comité d’organisation d’ICALP 2022. Responsable de l’équipe thématique automates et applications. Membre du conseil de laboratoire de l’IRIF.

Je suis également à l’origine, avec Antoine Amarilli, Hugo Férée et Thomas Schwentick de l’initiative TCS4F dont l’objectif est d’adapter la façon de travailler de la communauté des informaticiens aux enjeux climatiques et écologiques.

Évènements

Liens

  • séminaire automata
  • séminaire vérification