Thomas Colcombet

Researcher, CNRS

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.

Program Visits