Post-doctorant en informatique, à Inria et à l'IRIF.
Précédemment postdoctorant à l'Université de Cambridge, et encore auparavant doctorant au sein de l’équipe Inria Gallinette à l’Université de Nantes.
Je m'intéresse principalement à la théorie des types dépendants et aux assistants à la preuve, et particulièrement Rocq. 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 MetaRocq.
Contact
Le mieux pour me joindre est de le faire par mail, à meven.bertrand@inria.fr.
On peut également me trouver à l'IRIF, bâtiment Sophie Germain building, bureau 4058.
CV
Voici mon CV, la majorité des informations sont également disponibles directement sur ce site.
