Teaching

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

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