Thomas Colcombet

Biographie
Naissance	6 mars 1975 (51 ans)
Formation	Université Rennes-I
Activités	Informaticien, chercheur
Directeur de thèse	Didier Caucal (d)
Site web	(en) www.irif.fr/~colcombe
Distinction	Médaille de bronze du CNRS (2010)

Thomas Colcombet (né le 6 mars 1975) est un informaticien théorique français, connu pour avoir résolu, en collaboration avec Mikołaj Bojańczyk, d'importants problèmes ouverts concernant les automates cheminant sur les arbres^[1]^,^[2]. Colcombet est actuellement directeur de recherche au CNRS à l'Université Paris Cité (IRIF).

Biographie

Colcombet obtient sa licence à l'École normale supérieure de Lyon (2000) et son doctorat à l'Université Rennes-I (2004). Chercheur au CNRS depuis 2004, il est directeur de recherche depuis 2016. Il reçoit la médaille de bronze du CNRS en 2010.

Outre ses travaux sur les automates d'arbres, Colcombet contribue aux ω-automates^[3], en particulier à la complexité d'état des automates de Büchi^[4].

Il a participé au développement du jeu vidéo Liquid War.

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Thomas Colcombet » (voir la liste des auteurs).

↑ Bojańczyk et Colcombet, « Tree-walking automata cannot be determinized », Theoretical Computer Science, vol. 350, n^os 2–3,‎ 2006, p. 164–173 (ISSN 0304-3975, DOI 10.1016/j.tcs.2005.10.031)
↑ Bojańczyk et Colcombet, « Tree-Walking Automata Do Not Recognize All Regular Languages », SIAM Journal on Computing, vol. 38, n^o 2,‎ 2008, p. 658–701 (ISSN 0097-5397, DOI 10.1137/050645427, CiteSeer^x 10.1.1.100.7065)
↑ Thomas Colcombet et Nathanaël Fijalkow « The Bridge Between Regular Cost Functions and Omega-Regular Languages » (2016) (DOI 10.4230/LIPIcs.ICALP.2016.126).
— ICALP 2016.
— « (ibid.) », dans 43rd International Colloquium on Automata, Languages, and Programming, vol. 55, coll. « Leibniz International Proceedings in Informatics (LIPIcs) » (ISBN 978-3-95977-013-2), p. 126:1 – 126:13.
↑ Thomas Colcombet et Konrad Zdanowski, Automata, Languages and Programming, vol. 5556, coll. « Lecture Notes in Computer Science », 2009, 151–162 p. (ISBN 978-3-642-02929-5, ISSN 0302-9743, DOI 10.1007/978-3-642-02930-1_13), « A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata »

Liens externes

(en) Site officiel
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project

Portail de l’informatique

[BojańczykColcombet2006-1] Bojańczyk et Colcombet, « Tree-walking automata cannot be determinized », Theoretical Computer Science, vol. 350, n^os 2–3,‎ 2006, p. 164–173 (ISSN 0304-3975, DOI 10.1016/j.tcs.2005.10.031)

[BojańczykColcombet2008-2] Bojańczyk et Colcombet, « Tree-Walking Automata Do Not Recognize All Regular Languages », SIAM Journal on Computing, vol. 38, n^o 2,‎ 2008, p. 658–701 (ISSN 0097-5397, DOI 10.1137/050645427, CiteSeer^x 10.1.1.100.7065)

[3] Thomas Colcombet et Nathanaël Fijalkow « The Bridge Between Regular Cost Functions and Omega-Regular Languages » (2016) (DOI 10.4230/LIPIcs.ICALP.2016.126).
— ICALP 2016.
— « (ibid.) », dans 43rd International Colloquium on Automata, Languages, and Programming, vol. 55, coll. « Leibniz International Proceedings in Informatics (LIPIcs) » (ISBN 978-3-95977-013-2), p. 126:1 – 126:13.

[ColcombetZdanowski2009-4] Thomas Colcombet et Konrad Zdanowski, Automata, Languages and Programming, vol. 5556, coll. « Lecture Notes in Computer Science », 2009, 151–162 p. (ISBN 978-3-642-02929-5, ISSN 0302-9743, DOI 10.1007/978-3-642-02930-1_13), « A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata »

[1]

[2]

[3]

[4]