Formations et expériences professionnelles
Formations
Doctorat de mathématiques
Université Paris VII-Denis Diderot, (1995)
Compétences
Cours donnés à l'EPFL
Logique mathématique
Fondement des mathématiques (théorie des ensembles) et fondement de l'informatique (informatique théorique).