The Hitchhiker's Guide to Hyperproperties
infoCo-instructor at TUM · Winter 2026/27
Teaching
Functional Programming and Verification
infoHead teaching assistant at TUM · Summer 2026
Teaching assistant at ISTA · Fall 2023
Foundations of Model Checking
infoGuest lecturer at ISTA · Spring 2023
Formal Methods: Algorithmic Approaches
infoTeaching assistant at ISTA · Spring 2022
Algorithms
infoTeaching assistant at Sabancı University · Fall 2018 – Spring 2019
Mathematics & Natural Sciences
infoPeer study and workshop moderator at Sabancı University · Spring 2015 – Spring 2018