Personally, I follow some rules:
(professional page)
email: prénom.nom@irif.fr
tel: +33 (0) 1 57 27 94 32
Thomas Colcombet
IRIF - Case 7014
Université Paris Cité
75205 Paris Cedex 13
France
Bureau 4008a
Bâtiment Sophie Germain
8 place Aurélie Nemours
3ème étage
75013 Paris
Je suis directeur de recherche en informatique au Cnrs et directeur adjoint de l’Irif depuis janvier 2023.
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.
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.
Elles peuvent être trouvées sur cette page, sur DBLP, sur HAL ou sur arXiv.
David Barrozini, Michael Benedikt, Achim Blumensath, Mikołaj Bojańczyk, Arnaud Carayol, Olivier Carton, Antonio Casares, Balder ten Cate, Lorenzo Clemente, Laure Daviaud, Gaëtan Douéneau-Tabot, 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, Aliaume Lopez, 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.
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 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.
Membre du conseil de l’EATCS. Responsable du comité de pilotage de la conférence highlights. Membre du comité de pilotage d’ICALP. Directeur adjoint de l’l’IRIF. Référent environnement du laboratoire.
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.