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.