Contact

Mail	firstname.lastname@liafa.univ-paris-diderot.fr
Tel.	+33 (0) 1 57 27 92 61
Fax	+33 (0) 1 57 27 94 09

Mail address (regular mail)

Thomas Colcombet

Université Paris 7 - Paris Diderot

LIAFA (Case 7014)

Bâtiment Sophie Germain

75205 Paris Cedex 13

France

Real address (and mail by carrier)

Office 4028a

Bâtiment Sophie Germain

8 Place FM/13

4ème étage

75013 Paris

(secretariat's office +33 (0) 1 57 27 92 56)

Some informations

I am a full time researcher of the Cnrs in team automata and applications at Liafa (Paris, France). I have defended my PhD thesis in 2004, and my habilitation thesis in 2013. More details can be found in my CV.

I am mainly interested in automata theory and its links with logics. Among others:

• automata on finite trees, tree-walking and pebble automata,
• automata on infinite words, monadic logic, extensions,
• automata on infinite trees, monadic logic, extensions,
• game theory applied to logic.

The document of my habilitation (in french).

Teaching

I am teaching with Christian Choffrut, Jacques Sakarovitch and Ines Klimann the course "modélisation par automates finis"

Notes de cours (in french, old)

Sujet d'examen 2011-2012.

Events

Organising the conference Highlights 2013 (September 18-21, Paris).
Invited Speaker at CSR 2013 (June 25-29, Ekaterinburg).
Invited Speaker at TbiLLC'13 (September 23-27, Tbilisi).
PC member of MFCS 2013 (August 26-30, Vienna).
Former events.