Enzo Crance - POPL 2023 (original) (raw)

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