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.