Teaching

Formalisms Every Computer Scientist Should Know (2023 - 2024)
Teaching assistant at the Institute of Science and Technology Austria

Foundations of Model Checking (2023)
Guest lecturer at the Institute of Science and Technology Austria

Formal Methods: Algorithmic Approaches (2022)
Teaching assistant at the Institute of Science and Technology Austria

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

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