Maître de conférences à l'ENS Rennes. Je fais ma recherche dans l'équipe Épicure à l'IRISA et INRIA.
Précédemment postdoctorant dans l'équipe Picube de l'IRIF et à l'Université de Cambridge. J'ai fait ma thèse dans l’équipe Inria Gallinette à l’Université de Nantes.
Recherche
Je m'intéresse principalement aux assistants à la démonstration: j'espère les rendre meilleurs et plus sûrs en travaillant sur leurs fondations logiques, la théorie des types dépendants. Ça implique d'essayer de vérifier les implémentations complexes des assistants à la démonstration actuels, et de développer des nouvelles fonctionnalités de théorie des types à intégrer dans ceux de demain.
Contact
Le mieux pour me joindre est de le faire par mail, à meven.bertrand@ens-rennes.fr. On peut également me trouver à l'IRISA, bureau F211.
CV
J'ai un CV (en anglais). La majorité des informations sont disponibles directement sur ce site.
