Thomas Colcombet

Thomas Colcombet
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (51 ans)
Formation
Activités
Autres informations
Directeur de thèse
Didier Caucal (d)Voir et modifier les données sur Wikidata
Site web
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

Thomas Colcombet (né le ) 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).
  1. ↑ Bojańczyk et Colcombet, « Tree-walking automata cannot be determinized », Theoretical Computer Science, vol. 350, nos 2–3,‎ , p. 164–173 (ISSN 0304-3975, DOI 10.1016/j.tcs.2005.10.031)
  2. ↑ Bojańczyk et Colcombet, « Tree-Walking Automata Do Not Recognize All Regular Languages », SIAM Journal on Computing, vol. 38, no 2,‎ , p. 658–701 (ISSN 0097-5397, DOI 10.1137/050645427, CiteSeerx 10.1.1.100.7065)
  3. ↑ Thomas Colcombet et Nathanaël Fijalkow « The Bridge Between Regular Cost Functions and Omega-Regular Languages » () (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.
  4. ↑ Thomas Colcombet et Konrad Zdanowski, Automata, Languages and Programming, vol. 5556, coll. « Lecture Notes in Computer Science », , 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

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.