ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thomas Colcombet

Registered user since Tue 6 Nov 2018

Name: Thomas Colcombet

Bio: I am a senior researcher of the Cnrs. I am mainly interested in logic, automata theory, games and categories related to verification. I have defended my PhD thesis in 2004, and my habilitation thesis in 2013 (the document in french). More precisely, I am interested in model theory, finite model theory, monadic-second order logic, databases, language theory, semigroups, automata theory and in particular quantitative forms of automata (weighted automata, regular cost functions, nominal automata), as well as games for verification and model-checking. I also started to investigate the connections between all these subjects and category theory.

Country: France

Affiliation: IRIF, University Paris Diderot and CNRS, France

Personal website: https://www.irif.fr/~colcombe/

Research interests: Logic, automata theory, games and categories related to verification

Contributions

FOSSACS 2019Session Chair of Automata (part of FOSSACS 2019)
Invited speaker in Invited Speaker within the FOSSACS 2019-track
ETAPS 2019Author of On infinite duration games within the Keynotes-track
Mentor in Mentors within the Mentoring Workshop-track
Show activities from other conferences

ETAPS 2019-profile
View general profile