I was the teaching assistant (from 2021 to 2023) of the Semantics & application to vérification course at ENS Paris.

course page

session lab page

I was the teaching assistant (from 2022 to 2023) of the static analysis part in the Typing & static analysis course at Master STL.

Course page