Teaching
2024-2025
2022-2024
J’ai été chargé de TD à l’ENS Rennes pendant mes 2 premières années de thèse où je suis notamment intervenu au niveau de la L3 informatique (+ les maths-info) ainsi que dans la préparation à la nouvelle agrégation d’informatique.
- FOND1 - Langages rationnels et calculabilité, avec Gilles Lesventes, David Baelde and Pablo Espana-Gutierrez, L3, 2022-2024
- FOND2 - Logique, avec David Baelde, L3/M1, 2022-2024
- Préparation à l’agrégation d’informatique, M2, 2022-2024
2020-2022
J’ai également été contractuel à l’EPITA Rennes :
- NET1 - Éléments de réseau, L3, 2021-2022
- THLR - Théorie des langages rationnels, avec Uli Fahrenberg, L2, 2020-2022
- ALGO - Introduction à l’algorithmique, L1, 2020-2021