Teaching

Foundation of Model Checking (2023)
Guest lecturer (graduate level)
Institute of Science and Technology Austria

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

Algorithms (2018 - 2019)
Teaching assistant (undergraduate level)
Sabancı University

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