Educación:
- DEA de logique mathematique et fondements de l'informatique: Universidad Paris VII "Denis Diderot" (2004)
- Doctorat en Logique Mathématique. Université Paris 7. (2008)
Áreas de Investigación:
- Lógica:
-
- Realizabilidad
- Cálculo lambda

