Thomas Colcombet

(professional page)

Contact

email: firstname.lastname@irif.fr
tel: +33 (0) 1 57 27 94 32
fax: +33 (0) 1 57 27 94 09

Mail address

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

Real address

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

Affiliations

In short

I am a senior researcher in computer science of the Cnrs and group leader of the ‘automata and applications team’ at Irif (Paris, France).

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 or on DBLP.

Coauthors

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.

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

I also give the TP’s of “network programming”, at license 3 level (module of Arnaud Sangnier).

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.

Activity

Member of the EATCS council. Chair of highlights SC. Head of the organization comittee of ICALP 2022. Head of the team automata and applications. Member of the IRIF council.

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