Teaching and Mentoring

Teaching

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

Foundations of Model Checking (2023)
Guest lecturer at ISTA

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

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

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

Mentoring and Supervision

Co-supervisor

• of an undergraduate intern in Thomas Henzinger Group, ISTA (2025)
   Project: Extending QuAK with nested quantitative automata support
• of a rotation student in Thomas Henzinger Group, ISTA (2024)
   Project: Probabilistic semantics of an automata model for quantitative hyperproperties
• of a graduate student Thomas Henzinger Group, ISTA (2022)
   Project: Algebraic characterization and model checking of recursive programs

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

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