
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
OCaml 2020 | Volunteer in Organizing Committee within the OCaml 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2020-profile
View general profile
View general profile