Teaching

Pendant ma thèse, je suis chargé de TD à l’ENS Rennes où j’interviens notamment au niveau de la L3 informatique (+ les maths-info) ainsi que dans la préparation à la récente agrégation d’informatique proposée par le département.

  • 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

J’ai également été contractuel à l’EPITA Rennes pendant mes études :

  • 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