Accueil ☕

Bienvenue sur ma page personnelle. Je suis doctorant en troisième année dans l’équipe Inria Gallinette. Il s’agit d’une thèse CIFRE encadrée par Assia Mahboubi (Inria) et Denis Cousineau (Mitsubishi Electric R&D Centre Europe). Je travaille sur l’automatisation des preuves formelles dans l’assistant de preuve Coq.

Ce site est disponible en plusieurs langues. Cliquez simplement sur le drapeau en haut à droite.

enzo [dot] crance [at] inria [dot] fr