Teaching and Mentoring

Teaching

Functional Programming and Verification (Summer 2026)
Head teaching assistant at TUM

Formalisms Every Computer Scientist Should Know (Fall 2023)
Teaching assistant at ISTA

Foundations of Model Checking (Spring 2023)
Guest lecturer at ISTA

Formal Methods: Algorithmic Approaches (Spring 2022)
Teaching assistant at ISTA

Algorithms (Fall 2018 - Spring 2019)
Teaching assistant at Sabancı University

Mathematics & Natural Sciences (Spring 2015 - Spring 2018)
Peer study and workshop moderator at Sabancı University

Mentoring and Supervision

Co-supervisor

• Harun Yılmaz in Thomas Henzinger Group, ISTA (2025)
   Project: Extending QuAK with nested quantitative automata support (CAV 2026)
• Pavol Kebis in Thomas Henzinger Group, ISTA (2024, 2022)
   Projects: Automata models for quantitative hyperproperties (CONCUR 2025) + Algebraic characterization and model checking of recursive programs (ICALP 2023)

Alumni speaker (2025)
at the Graduate School Welcome Event at ISTA

Student mentor (2023, 2020)
for three incoming PhD students at ISTA