We believe that our research community should aim for a significant reduction of carbon emissions and evolve towards more sustainable practices. We believe that this can be achieved while preserving the quality of our research. We, scientists, should lead by example:

  • Choose conferences that do not require plane travel.
  • Take the train whenever possible.
  • Value local collaborations.
  • Use modern tools for distant collaborations.
  • Organise events at a local scale.
  • And make great science!

Personally, I follow some rules:

  • Never take the plane and be ready to take the train even for 24 hours if needed. In particular;
  • Only submit to conferences where I can go by train or present remotely. And have my coauthors follow the same rule.
  • I may refuse reviewing requests, membership to program conferences, fundings, speaker invitations, etc, for environmental considerations.

Thomas Colcombet

(professional page)

Contact

email: prénom.nom@irif.fr
tel: +33 (0) 1 57 27 94 32

Adresse courrier

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

Adresse réelle

Bureau 4008a
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 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.

É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, sur DBLP, sur HAL ou sur arXiv.

Coauteurs

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.

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”.

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.

Activités

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.

Évènements

Liens

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