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
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