Teaching and Mentoring

Teaching

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
• Pavol Kebis in Thomas Henzinger Group, ISTA (2024, 2022)
   Projects: Probabilistic semantics of an automata model for quantitative hyperproperties + 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