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 is how mathematics are or could be done. In particular, I strongly believe that proof assistants have something to bring to these questions, and I am particularly fond of the type theoretic approach to logics. I currently work in the world of the Coq proof assistant and of the Calculus of Inductive Constructions.


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.