meven.ac - Meven Lennon-Bertrand – About

home > domains > meven.ac

Description: Academic webpage of Meven Lennon-Bertrand

Example domain paragraphs

PhD student in Computer Science Inria – Université de Nantes, France

meven.bertrand[at]univ-nantes.fr

Post-doctoral researcher in computer science, in the CLASH group at the University of Cambrige.

Links to meven.ac (2)

• metacoq.github.io MetaCoq | Website of the MetaCoq Project
• yforster.github.io Yannick Forster