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 practised. In particular, I strongly believe that proof assistants have something to bring to those 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 Constructions.
The best way to reach me is by email, at meven.bertrand[at]univ-nantes.fr.
Otherwise, I might be found at the Nantes University, building 11 of the Lombarderie (Sciences) campus, office 216.
Here is a short CV. More can be found by browsing this site.