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

Registered user since Tue 28 Jul 2020

Name:Enzo Crance

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

Affiliation:Mitsubishi Electric
Research interests:Formal Proofs, Functional Programming, Static Analysis, Compilers


OCaml 2020 Volunteer in Organizing Committee within the OCaml 2020-track
Show activities from other conferences

ICFP 2020-profile
View general profile