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