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.
Contact
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.
CV
Here is a short CV. More can be found by browsing this site.