Meven Lennon-Bertrand

À propos

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

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

Je suis principalement intéressé par 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. Je suis particulièrement enthousiasmé par l’approche de la logique par la théorie des types, et 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, des informations plus détaillées sont disponible en parcourant ce site.