2022-2023
- • SEM
- — Sémantique des langages de programmation (Semantics of programming languages), with Sandrine Blazy (M1 SIF, ISTIC, first semester)
- • PRGC
- — Programmation de confiance, with Sandrine Blazy (L3 Computer Science, ISTIC, second semester)
