Registered user since Tue 28 Jul 2020

Name: Enzo Crance

Bio: Future PhD student in Computer Science (automation in formal proofs through interfacing proof assistants with external provers)

Software Engineering & Research Master’s degrees

OCaml and Coq user

Country: France

Affiliation: Mitsubishi Electric

Personal website: http://cloudyhug.github.io/

Research interests: Formal Proofs, Functional Programming, Static Analysis, Compilers

Contributions