Teaching experience

ENS de Lyon

During my ATER ("teaching assistant") year at the ENS de Lyon:

2025–2026

  • Algorithmique 1 & 2 (L3)
  • Fondements de l'Informatique ("Computer Science fundamentals": formal languages (regular, context-free …), introduction to computability theory and models of computation) (L3)
  • Compilation et analyse de programmes (M1)

Université de Lorraine

During my ATER ("teaching assistant") year at the Université de Lorraine:

2024–2025

  • Introduction au Web (Introduction to Web Programming) (L1)
  • NUMOC (Word processing, spreadsheets, web …) (L1)
  • Informatique, Algorithmique et Programmation (Introduction to programming) (Python) (L1)
  • Systèmes Logiques et Codage Numérique (Boolean formulas and functions, Encoding) (L1)

Université de Caen-Normandie

During my PhD at the Université de Caen Normandie:

2023–2024

  • Théorie des Langages et Compilation (Formal Languages and Compilation) (L3)

2022–2023

  • Algorithmique (L3)
  • Shell et outils (Bash shell and UNIX tools) (L2)

2021–2022

  • Introduction à la Programmation (Introduction to Programming) (C/Python) (L1)
  • Autres Paradigmes (Introduction to functional programming) (Haskell) (L2)