In the academic year 2023/2024, I am responsible for the following courses:

- Topics in Modal Logic,

an advanced course on modal logic in the local MSc Logic programme.

The 2023/2024 edition of this course will be devoted to modal fixpoin logic. - Wiskundige Logica

a course in Logic for second-year mathematics students. - Proof Theory

an introductory course on proof theory in the local MSc Logic programme. I teach this course together with Marianna Girlando.