en ¦ fr


PhD student in computer science since 2019, under the supervision of Nicolas Tabareau, in the Inria/University of Nantes Gallinette team.

Before that, student in the computer science department of the ENS de Lyon, and for a year in the Mathematical Foundation of Computer Science master of the Radboud University Nijmegen.

My main interest lies in proofs assistants, particularly those based on type theory. I am also fond of bidirectional typing, especially as a tool to understand and specify real-world implementations of proof assistants. To this aim, I participate to the MetaCoq project.


The best way to reach me is by email, at meven.bertrand[at]univ-nantes.fr.

Otherwise, I might be found at the University, building 11 of the Lombarderie (Sciences) campus, office 216.


Here is a short CV. More can be found by browsing this site.

Under Creative Commons CC0 License, source on github. Built using Pelican. Theme adapted from pelican-svbhack by Giulio Fidente.