Teaching at Saarland University

Summer 2025

• Seminar: Verification of Distributed Systems

Summer 2024

• Advanced Lecture: Parameterized Verification

Winter 2022/23

• Seminar: Verification of Distributed Systems

Summer 2022

• Advanced Lecture: Parameterized Verification

Winter 2021/22

• Seminar: Formal Methods for Finding and Fixing Information Leaks

Winter 2020/21

• Proseminar: Model Checking: Techniques and Applications