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