Teaching at Saarland University

Winter 2022/23

• Seminar: Verification of Distributed Systems (Register until October 26)

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