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
[Twitter] [LinkedIn] [Resume (English)]