Thomas Colcombet is researcher at the CNRS (Centre National de Recherche Scientifique). He contributes to the fields of algorithmic logic, logic, algebra, automata theory and verification. His research results include the development of the new tool of regular cost functions as a theoretically strong approach to quantitative modeling and verification.
- Logical Structures in Computation, Fall 2016. Visiting Scientist.