Education and work experience
Trainings
PhD in mathematics
University Paris VII-Denis Diderot, (1995)
Competences
Cours donnés à l'EPFL
Mathematical logic
Foundations of mathematics (set theory) and foundations of computer science (theoretical computer science).
