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

Mail address

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

Real address

Office 4008a
Bâtiment
Sophie Germain
8 place Aurélie Nemours
3ème étage
75013 Paris

Affiliations

In short

I am a senior researcher (DR) in computer science of the Cnrs and deputy director of the Irif institute since Jan 2023.

I am mainly interested in logic (model/finite/algorithmic theory), automata theory, games and a bit of categories related to verification.

I have defended my PhD thesis in 2004, and my habilitation thesis in 2013 on regular cost functions (the document in french). More details can be found in my CV.

PhD students

I am currently supervising the PhD thesis of Arthur Jaquard, and cosupervising the PhD thesis of Antonio Casares together with Nathanaël Fijalkow and Igor Walukiewicz.

I have supervised the PhD thesis of Laure Daviaud (with Jean-Éric Pin), Nathanaël Fijalkow (with Mikołaj Bojańczyk), and Denis Kuperberg.

Publications

These can be found on this page, on DBLP, on HAL or on arXiv.

Coauthors

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.

Teaching

I am teaching with Alexis Saurin in the Master in Mathematical Logic and Foundations of Computer Science (LMFI) the module ”second-order quantifications and fixpoints in logic”.

Software

I am developing the LaTeX package knowledge for helping the creation of enriched scientific documents. I am also developing its companion package, mathcommand, which offers various help for defining math macros.

Activities

Member of the EATCS council. Chair of highlights SC. Member of ICALP’s SC. Deputy director of IRIF. Environment point of contact in the lab.

I am also founder, with Antoine Amarilli, Hugo Férée and Thomas Schwentick of the initiative TCS4F which aims for the community of computer science to adapt for the ecological and climate crisis.

Events

Links