Teaching

Summer 2023: Advisor for the Seminar Hyperproperties at the Reactive Systems Group

Summer 2019: Assistant for Proseminar Softwarezuverlässigkeit (Software Reliability) at the Reactive Systems Group

Winter 2018/2019: Advisor for Seminar Hyperproperties at the Reactive Systems Group

Summer 2018: Advisor for Proseminar Formal Verification of Security Protocols at the Reactive Systems Group

Summer 2018: Tutor for Core Lecture Embedded Systems at the Reactive Systems Group

Winter 2017/2018: Advisor for Proseminar Time Machine at the Reactive Systems Group

Winter 2016/2017: Tutor for Core Lecture Verification at the Reactive Systems Group

Summer 2016: Organizer and Coach for Mathematics Precourse at Saarland University

Summer 2015: Coach for Mathematics Precourse at Saarland University

Winter 2013/2014: Tutor for Programming 1 at the Dependable Systems and Software Group

Summer 2013: Tutor for Mathematics Precourse at Saarland University

Supervision

Florian Bies: Complete Bounded Model Checking for Hyperproperties, Bachelor’s Thesis, 2022 (co-advised with Niklas Metzger)

Simon Engel: Bounded Model Checking for PHL, Bachelor’s Thesis, 2021

Julian Siber: Causal Solving of Reachability Games, Master’s Thesis, 2021

Julia Tillman: Temporal Stream Logic for Hyperproperties, Bachelor’s Thesis, 2020 (co-advised with Jana Hofmann)

Florian Bies: MCHyper Reimplementation: Conception and Execution, May 2021 - October 2021

Lukas Auer: MCHyper Reimplementation: Conception, May - August 2021