![Enzo Crance](https://popl23.sigplan.org/getProfileImage/enzocrance1/70423458-b9e0-4948-9d55-b9e155075dc5/small.jpg?1713124776000)
Registered user since Tue 28 Jul 2020
Name:Enzo Crance
Bio:
PhD student in Computer Science
Mitsubishi Electric R&D Centre Europe (MERCE) & Inria Gallinette
Meta-programming for Coq, proof automation, certified goal rewriting
Country:France
Affiliation:Mitsubishi Electric R&D Centre Europe
Personal website: https://ecrance.net
Research interests:Functional Programming, Meta-Programming, Formal Proofs, Compilers, Static Analysis
Contributions
POPL 2023-profile
View general profile
View general profile