Teaching duties as a graduate student

Class tutor

  • Set theory
    Master. École Polytechnique Fédérale de Lausanne (EPFL). Autumn 2013.
  • Logique Mathématique
    Bachelor 3rd year. École Polytechnique Fédérale de Lausanne (EPFL). Autumn 2014, 2013 and 2012.
  • Gödel and recursivity
    Master. École Polytechnique Fédérale de Lausanne (EPFL). Autumn 2014 and Spring 2013.
  • Introduction à la logique
    Bachelor. Université de Lausanne (UNIL). Autumn 2014, 2013, 2012, 2011, 2010.
  • Introduction à la logique II
    Bachelor. Université de Lausanne (UNIL). Spring 2012 and 2011.

Supervision of a Master thesis

  • Descriptive Set Theory
    Philippe Atten, Master thesis. École Polytechnique Fédérale de Lausanne (EPFL). Autumn 2014.

Supervision of Semester Projects (EPFL)

  • Automata and the decidability of the monadic second order logics S1S and S2S, Lilith Mattei, Spring 2014.
  • Le Théorème de Métrisabilité de Urysohn et Tychonoff en version effective, Marc Papotto, Autumn 2013.
  • Jeux Infinis et Topologie, Luca Hunkeler, Autumn 2013.
  • Hiérarchie Arithmétique et degrés de Turing, Mathieu Kocher, Spring 2013.
  • Hierarchies in Descriptive Set Theory, Étienne Favre, Spring 2013.
  • Les boréliens en théorie descriptive des ensembles, Léa Kissling, Autumn 2012.
  • Forcing et Consistance Relative, Michelle Stella, Autumn 2012.
  • Mu-calcul et jeux infinis, Nicolas Berger, Autumn 2010.