Logique Mathématique, Ecole Polytechnique Fédérale de Lausanne (EPFL), Third year Bachelor, Fall 2016, Fall 2017, Fall 2018, Fall 2019, Fall 2020.

Introduction à la Logique, Université de Lausanne (UNIL), Third year Bachelor, Fall 2016, Fall 2017, Fall 2018, Fall 2019, Fall 2020.

Set Theory, Ecole Polytechnique Fédérale de Lausanne (EPFL), Master, Spring 2019, Spring 2020.

Gödel and Recursivity, Ecole Polytechnique Fédérale de Lausanne (EPFL), Master, Fall 2020.

Théorie des modèles, Gabriel Favre, Spring 2016.

Models and Games, Lucas Bettua, Spring 2017.

Jeux Infinis et Analyse, Maude Girardin, Spring 2018.

Automata, Infinite Games and Applications to Verification and Synthesis, Yannis Chaumeny, Spring 2019.

Boolean Valued Models and Independance Results, Matthieu Rochat, Spring 2019.

Borel Functions through Infinite Games, Deniz Imrek, Fall 2019.

On Effective Descriptive Set Theory and Geometric Group Theory, Gabriel Favre, Spring 2017.

Borel Determinacy and Wadge Games, Maude Girardin, Fall 2018.

Further Topics in Logic and Vaught Theorem, Yannis Chaumeny, Fall 2018.

Measurability and Co-Analytic Determinacy, Deniz Imrek, Fall 2020.

Cardinal Characteristics of the continuum, Daphné Rosset, Fall 2017.

Théorie de la démonstration, logique de la prouvabilité, et correspondance de Curry-Howard, Sébastien Comtesse, Spring 2018.