en ¦ fr

À propos

Doctorant en informatique en deuxième année, encadré par Nicolas Tabareau, au sein de l’équipe Inria Gallinette et de l’Université de Nantes.

Auparavant normalien au département d’informatique de l’ENS de Lyon, et pendant un an étudiant à la Radboud University Nijmegen, dans le master Mathematical Foundation of Computer Science.

Je m’intéresse principalement à la manière dont les mathématiques sont ou pourraient être pratiquées. En particulier, je crois fermement que les assistants de preuves ont quelque chose à apporter à ces problématiques, et je suis particulièrement enthousiasmé par l’approche de la logique par la théorie des types. Je travaille actuellement dans l’univers de l’assistant de preuve Coq et du Calcul des Constructions.

Contact

Le mieux pour me joindre est de le faire par mail, à meven.bertrand[at]univ-nantes.fr.

Sinon je suis en général à l’Université de Nantes, bâtiment 11 du campus Lombarderie (Sciences), bureau 216.

CV

Voici un court CV, plus d’informations en parcourant ce site.

Sous Licence Creative Commons CC0, source sur github. Développé avec Pelican. Thème adapté de pelican-svbhack par Giulio Fidente.