Teaching

Together with Nick Bezhanishvili, we edited and expanded the notes for the course Mathematical Structures in Logic; if you find any typos, or have any comments, please contact us.

Teaching

    Mathematical Structures in Logic 2025 - Teaching Assistant

    Logic and Computability 2024 - Teacher (with Daniël Otten)

    Introduction to Modal Logic (2021,2022 and 2023) - Teaching Assistant

    Model Theory (2023 and 2024) - Teaching Assistant

    Mathematical Proof Methods in Logic 2023 - Teaching Assistant

    Axiomatic Set Theory 2022 - Teaching Assistant

Thesis Supervision

    Sarah Dukic (co-supervised with Nick Bezhanishvili) - 2025