Thomas ColcombetCNRS senior researcher, member of IRIF
CNRS bronze medal
ERC Starting Grant
Thomas Colcombet est directeur de recherche CNRS au sein de l'Institut de Recherche en Informatique Fondamentale (IRIF - CNRS/Université Paris-Diderot). Il est également responsable de l'équipe "Automates et applications". Ses travaux de recherche s'intéressent à la logique, à la théorie des automates, aux jeux et aux catégories en lien avec la vérification.
En savoir plus
Le projet de recherche GALE (Games, Automata and Logic’s Extensions) - ERC Starting Grant 2010