Thomas Colcombet was born on March 6, 1975. He is a French computer scientist who studies theoretical computer science. He is known for solving important unsolved questions about tree walking automata, which he worked on together with Mikołaj Bojańczyk. Today, Colcombet holds the position of CNRS Research Director at Paris Diderot University.
Biography
Colcombet earned his undergraduate degree from École normale supérieure de Lyon in 2000 and his doctorate from University of Rennes 1 in 2004. Since 2004, he has been a CNRS researcher. He became a Research Director in 2016. He received the CNRS Bronze Medal in 2010.
In addition to his work on tree walking automata, Colcombet worked on ω-automata, especially the state complexity of Büchi automata, and contributed to various topics in logic in computer science.
He was involved in the development of the video game Liquid War.