Home ☕

Welcome to my personal page. I am a third year PhD student in the Inria Gallinette team. It is an industrial PhD thesis supervised by Assia Mahboubi (Inria) and Denis Cousineau (Mitsubishi Electric R&D Centre Europe). I am working on proof automation in the Coq proof assistant.

This website is available in several languages. Just click on the flag at the top right-hand corner.

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