Enseignement
TD, encadrement et documents autour de la logique mathématique, de la théorie des modèles et de l'évaluation des systèmes d'IA.
Enseignement et encadrement
-
Co-encadrement de stage
Statistique mathématique et évaluation des systèmes d'intelligence artificielle, par Michel Brun, avec Vincent Corruble.
-
TD de logique mathématique, ENS-PSL
Séances de TD pour le cours de logique mathématique de niveau M1 au Département de Mathématiques et Applications. Le cours était assuré par Silvain Rideau-Kikuchi.
-
Mémoires de licence encadrés à l'ENS-PSL
- Trichotomie de Zilber dans les cadres o-minimaux, par Alexander Molyakov et Anna Savelyeva, 2023.
- O-minimalité et réseaux de neurones, par Aziz Ben Nejma et Achille de Ridder, co-encadré avec Arthur Stephanovitch, 2024.
- Théorie synthétique des probabilités et catégories de Markov, par Luca Brugnerotto et Janosch Laubé-Rainer, 2025.
-
Colles de mathématiques
Organisation d'oraux de mathématiques en classes préparatoires au lycée Louis-le-Grand.
Documents de cours
Feuilles d'exercices et corrections pour les TD de logique mathématique 2022-2023.