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. 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, en particulier à la complexité d'état des automates de Büchi.
Il a participé au développement du jeu vidéo Liquid War.
Références
Liens externes
Catégorie:Directeur de recherche au CNRS Catégorie:Naissance en mars 1975 Catégorie:Informaticien français