At Leiden University

• Introduction to Logic (Bachelor, Spring 2023)
• Computational Models and Semantics (Master, Autumn 2022)
• Essentials of Computing Systems (Bachelor, Autumn 2022)
• Introduction to Logic (Bachelor, Spring 2022)
• Computational Models and Semantics (Master, Autumn 2021)
• Essentials of Computing Systems (Bachelor, Autumn 2021)
• Introduction to Logic (Bachelor, Spring 2021)
• Computational Models and Semantics (Master, Autumn 2020)
• Fundamentals of Computer Systems (Bachelor, Autumn 2020)
• Introduction to Logic (Bachelor, Spring 2020)
• Research Methods in Computer Science (Bachelor, Spring 2020)

Tutoring

• Tutoring for senior (2nd & 3rd year) bachelor students (Autumn 2020)

At ENS Lyon

Semantics and Verification (2019)

I am assisting Colin Riba in the Course Semantics and Verification. The exercises for the course will be published here.

Projet 2 (2019)

This year, I’m assisting again Daniel Hirschkoff in the Projet 2, a programming project for L3. The goal is to learn OCaml by implementing a spreadsheet calculator in the first quarter of the course, and an interpreter for a subset of OCaml (Fouine) in the remainder.

Projet 2 (2018)

I’m assisting the first time Daniel Hirschkoff in the Projet 2, a programming project for L3. The goal is to learn OCaml by implementing a spreadsheet calculator in the first quarter of the course, and an interpreter for a subset of OCaml (Fouine) in the remainder.