Teaching assistant

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, 2012 and 2011.
  • Gödel and recursivity
    Master. École Polytechnique Fédérale de Lausanne (EPFL). Autumn 2014, Spring 2013 and Spring 2011.

Supervision of a Master thesis

  • Espaces quasi-Polonais
    Michelle Stella, Master thesis. École Polytechnique Fédérale de Lausanne (EPFL). Autumn 2013.

Supervision of Semester Projects

École Polytechnique Fédérale de Lausanne (EPFL).
  • Introducing Topoi, Lilith Mattei, Spring 2015.
  • La correspondance de Curry-Howard, Rémi Bottinelli, Spring 2015.
  • Consistency of Peano Arithmetic and epsilon-0 induction, Georg Bube, Spring 2013.
  • Mesurabilité, plongements élémentaires et forcing, Michelle Stella, Spring 2013.
  • Décidabilité, calculabilité et récursivité, Mathieu Kocher, Autumn 2012.
  • Les axiomes de choix, David Candil, Autumn 2012.
  • Théorie des jeux, Thomas Cibils, Autumn 2011.
  • Autour de P et NP, Dimitri Zaganidis, Autumn 2010.