Enzo Crance

Research Intern

Mitsubishi Electric & Inria


Enzo Crance is a research student aiming for a PhD in Computer Science. He has followed engineering courses centered on programming (general purpose and concurrent programming, Android apps, systems & networks, HPC), and research courses about software security, static analysis, semantics, and compilers, thus creating a broad view of Computer Science, theoretical and practical.

He is currently doing a research internship at Mitsubishi Electric Research Centre Europe (MERCE) and in the Gallinette team at Inria, whose goal is to raise the level of automation in formal proofs through interfacing proof assistants with external provers. The main tool used is the Coq proof assistant.


  • Functional Programming
  • Type Theory
  • Semantics & Compiler Theory
  • Programming Languages


  • Engineering degree in Computer Science, 2020

    INSA Rennes Engineering School

  • Research Master's degree in Computer Science, 2020

    Rennes 1 University

  • Scientific French Baccalaureate, 2015

    Institution La Providence High School

Technical Skills

Known Programming Languages

Functional Languages

OCaml (strong), Haskell (medium)

JVM Languages

Java (good), Scala (medium), Clojure (beginner)

Low Level Languages

C (medium), C++ (beginner)

Scripting Languages

Python (medium), Ruby / Perl / Bash (beginner)

Other Languages

Prolog (medium), Coq (beginner)



Research Intern

Mitsubishi Electric

February 2020 – Present Nantes, France

Improvement of automation in proof assistants through interfaces with external solvers

Tasks include:

  • understanding state-of-the-art tools and methods;
  • designing generic translation and reification algorithms;
  • implementations in Coq and OCaml.

Engineering Intern


June 2019 – August 2019 Amsterdam, The Netherlands

International internship, with technical and organisational responsibilities

Tasks include:

  • rating of software quality assurance methods;
  • back-end programming tasks in Java;
  • technical documentation writing.

Research Intern


June 2018 – August 2018 Rennes, France

Application of advanced functional programming concepts in OCaml

Tasks include:

  • generation of the OCaml Weekly News;
  • implementation of tools linked to a research project within the CELTIQUE team (meta-programming, generic interpreter).

Summer Staff

Société Générale

August 2017 – August 2017 Saint-Malo, France
Sorting of archives, customer relation, banking operations



July 2016 – July 2016 Saint-Malo, France
Logistics, electronic cards testing

Summer Staff


July 2014 – July 2014 Dartford, United Kingdom
Restaurant service, administrative and financial tasks


TOEIC – 980/990

English oral and written comprehension test