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.

Language

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

Contact

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

[Twitter] [LinkedIn] [Resume (English)]

Three-master boat Belem at berth in Nantes