Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Enzo Crance

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

ICFP 2020-profile
View general profile