Teaching

Courses

• Lecturer
  • Rudiments of Axiomatic Set Theory, MSc Logic, University of Amsterdam, semester 1, 2022-23.
  • Philosophy of Logic: Logical Pluralism, MSc Logic, University of Amsterdam, semester 2, 2021-22.
  • Calculus, Bachelor Liberal Arts and Sciences, Amsterdam University College, semester 2, 2018-19.
• Supervisor
  • Logic and Set Theory, Faculty of Mathematics, University of Cambridge, Lent 2021.
  • Automata and Formal Languages, Faculty of Mathematics, University of Cambridge, Michaelmas 2020.
• Teaching Assistant
  • Mathematical Proof Methods for Logic, MSc Logic, University of Amsterdam, 2021.
  • Set Theory, MasterMath, University of Amsterdam, 2018, 2021.
  • IA: Formal Methods, Faculty of Philosophy, University of Cambridge, 2020-2021.
  • Proof Theory, MSc Logic, University of Amsterdam, 2020.
  • Logic and the Human Factor in Forensic Reasoning, MSc Forensic Science, University of Amsterdam, 2019.
  • Axiomatic Set Theory, BSc Mathematics, University of Amsterdam, 2018, 2019.
  • Reasoning, Modelling and Data Science, MSc Forensic Science, University of Amsterdam, 2018.

Student Project Supervision

• A paraconsistent take on intuitionism, individual project, MSc Logic, University of Amsterdam, 2023.
• Intuitionistic Logic of Paradox, BSc Thesis, BSc Mathematics, University of Amsterdam, 2022 (thesis).
• Transfinite Computability, Summer Research Reading Group, University of Cambridge, 2021.
• Simple Models of Set Theory, 2nd year project, BSc Mathematics, University of Amsterdam, 2021.
• Aczel’s Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory, individual project, MSc Logic, University of Amsterdam, 2020 (report).
• Forcing: The relative consistency of the negation of the continuum hypothesis, BSc Thesis, BSc Mathematics, University of Amsterdam, 2019 (thesis).