Instructor

• Math 222, Calculus 3

  Summer 2019, McGill University.

• Math 240, Discrete Structures 1

  Winter 2019, McGill University.

• Math 133, Linear Algebra and Geometry

  Fall 2018, McGill University.

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.