N. Ege Saraç

Teaching

The Hitchhiker's Guide to Hyperproperties

info

Co-instructor at TUM · Winter 2026/27

Functional Programming and Verification

info

Head teaching assistant at TUM · Summer 2026

Formalisms Every Computer Scientist Should Know

infomaterials

Teaching assistant at ISTA · Fall 2023

Foundations of Model Checking

info

Guest lecturer at ISTA · Spring 2023

Formal Methods: Algorithmic Approaches

info

Teaching assistant at ISTA · Spring 2022

Algorithms

info

Teaching assistant at Sabancı University · Fall 2018 – Spring 2019

Mathematics & Natural Sciences

info

Peer study and workshop moderator at Sabancı University · Spring 2015 – Spring 2018