Archive of Previous Courses
At Leiden University
- Computational Models and Semantics (Master, Autumn 2023)
- 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
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.