Teaching
Tutorials, supervision, and course material in mathematical logic, model theory, and AI evaluation.
Teaching and Supervision
-
Co-supervision of an internship
Mathematical statistics and the evaluation of artificial intelligence systems, by Michel Brun, with Vincent Corruble.
-
Mathematical logic tutorials, ENS-PSL
Tutorial sessions for the M1-level mathematical logic course of the Department of Mathematics and Applications. The lectures were given by Silvain Rideau-Kikuchi.
-
Bachelor's theses supervised at ENS-PSL
- Zilber's trichotomy in o-minimal settings, by Alexander Molyakov and Anna Savelyeva, 2023.
- O-minimality and neural networks, by Aziz Ben Nejma and Achille de Ridder, co-supervised with Arthur Stephanovitch, 2024.
- Synthetic probability theory and Markov categories, by Luca Brugnerotto and Janosch Laubé-Rainer, 2025.
-
Oral mathematics examinations
Organisation of oral examinations ("colles") in preparatory classes at Louis-le-Grand.
Course Materials
Exercise sheets and corrections for the 2022-2023 mathematical logic tutorials.