Enzo Crance

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

CPP 2023 Compositional pre-processing for automated reasoning in dependent type theory
Show activities from other conferences

Using general profile