This lecture introduces the fundamental principles of model checking — a formal verification technique for ensuring system correctness... Read more
Bachelor/Master course (teaching assistant), RWTH Aachen University, Computer Science Department (i2), 2025
The course provides a comprehensive introduction to the theoretical foundations of formal methods, introducing e.g. operational, denotational, and... Read more
Master course (teaching assistant), RWTH Aachen University, Computer Science Department (i2), 2024
This course introduced the foundations, semantics, and verification techniques for probabilistic programs, with a focus on both theory... Read more
Master course (teaching assistant), RWTH Aachen University, Computer Science Department (i2), 2024
This advanced seminar focused on current research trends in model checking. Based on recent conference and journal publications,... Read more
Graduate seminar (seminar supervision), RWTH Aachen University, Computer Science Department (i2), 2025
This proseminar built upon the lecture Datenstrukturen und Algorithmen and offered students an opportunity to explore selected algorithms... Read more
Undergraduate proseminar (seminar supervision), RWTH Aachen University, Computer Science Department (i2), 2024
Together with Tim Quadmann, I supervise the Master thesis of Yujie Zhang, which focuses on the automatic generation... Read more
Master thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025
Together with Philipp Schroer, I supervise the Bachelor thesis of Samuel Rode on extending the Caesar verification tool... Read more
Bachelor thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025
I supervise the Bachelor thesis of Tabea Hegewaldt on the topic of program synthesis for weighted programs.
Read moreBachelor thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025
I supervise the Bachelor thesis of Diyar Tetik, which focuses on the development of loop rules for reasoning... Read more
Bachelor thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025
I supervised the Master thesis of Dario van den Boom on an algorithm for the Quickest Transshipment Problem,... Read more
Master thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2023
The UnRAVeL Survey Lecture Series 2025 contained nine talks by the PIs of the research training group. Since... Read more
Lecture coordination and speaker series, RWTH Aachen University, Department of Computer Science, 2025
The UnRAVeL Summer Workshop 2024 brought together doctoral researchers, principal investigators, and guests for a week of scientific... Read more
Graduate workshop coordination, RWTH Aachen University / Söllerhaus, Kleinwalsertal, 2024