Archive of Previous Courses

At Leiden University

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.