Meven Lennon-Bertrand


Second year PhD student in computer science, under the supervision of Nicolas Tabareau, in the Gallinette team of the University of Nantes.

Before that, student in the computer science department of the ENS de Lyon, and spent 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. I am particularly fond of the type theoretic approach to logics, and 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]

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.