Nicolas Tabareau

LAUREAT 2014 - Membre de l'équipe-projet Ascola
Nicolas Tabareau
© Inria / Photo N. Lacaux

Nicolas Tabareau, lauréat 2014 de la bourse ERC - Starting Grant, travaille sur l'assistant Coq, considéré comme l'assistant de preuve générique le plus avancé dans le monde.

Un des buts ultimes de cet effort de longue haleine est d'amener l'industrie à utiliser cette technologie.