Post-doctorant en informatique, dans le groupe CLASH, au sein du Computer Lab de l'Université de Cambridge.
Auparavant doctorant au sein de l’équipe Inria Gallinette et de l’Université de Nantes, encadré par Nicolas Tabareau. Ancien élève du département d’informatique de l’ENS de Lyon.
Je m'intéresse principalement à la théorie des types et aux assistants à la preuve, et particulièrement Coq. J'apprécie également tout ce qui touche au typage bidirectionnel. Je cherche notamment à contribuer à réduire l'écart qui sépare les implémentations complexes des assistants à la preuve à leurs spécifications théoriques, notamment dans le cadre du projet MetaCoq.
Contact
Le mieux pour me joindre est de le faire par mail, à Meven.Lennon-Bertrand[at]cl.cam.ac.uk.
CV
Voici mon CV, la majorité des informations sont également disponibles directement sur ce site.
