Instructor
- Elements of Universal Algebra, University of Amsterdam (2019).
Teaching assistant
- Mathematical Proof Methods in Logic, University of Amsterdam (2019).
- Introduction to Modal logic, University of Amsterdam (2016, 2017, 2018, 2019).
- Mathematical structures in Logic, University of Amsterdam (2016, 2017).
- Recursion Theory, University of Amsterdam (2015).
- Philosophy of Science for Mathematicians, University of Copenhagen (2012, 2013).
Supervision
Theses
- Thijs Benjamins: Interpolation for extensions of S5‐squared,
co‐supervised with Nick Bezhanishvili, University of Amsterdam.
- Jana Haenen: A Gödel‐style translation from positive calculus into strict implication logic,
co‐supervised with Nick Bezhanishvili, University of Amsterdam.
Student projects
- Universal Algebra,
- Category Theory,
- Algebraic Modal Logic.
|