Posts by Collection

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Standard Generators for Classical Groups

This Bachelor thesis investigates standard generators for finite classical groups, particularly focusing on black-box representations in computational group... Read more

Published in RWTH Aachen University (Bachelor Thesis), 2020 | Download Paper

Local Reasoning for Reconfigurable Distributed Systems

This Bachelor thesis presents a framework for reasoning about dynamically reconfigurable distributed systems modeled in the DR-BIP framework.... Read more

Published in RWTH Aachen University (Bachelor Thesis), 2021 | Download Paper

Generalized temporally repeated flows for the quickest transshipment and related problems

This Master thesis by Emma Ahrens presents a detailed study of discrete-time flows over time, introducing generalized temporally... Read more

Published in RWTH Aachen University (Master Thesis), 2022 | Download Paper | Download Slides | Download Bibtex

Reasoning about distributed reconfigurable systems

This paper presents a Hoare-style calculus for formal reasoning about reconfiguration programs of distributed systems. Such programs create... Read more

Published in OOPSLA2, 2022 | Download Paper | Download Slides | Download Bibtex

The dial-a-ride problem in primary care with flexible scheduling

Patient transportation systems are instrumental in lowering access barriers in primary care by taking patients to their general... Read more

Published in OR Spectrum, 2025 | Download Paper | Download Bibtex

Minimum-Peak-Cost Flows Over Time

Peak cost is a novel objective for flows over time that describes the amount of workforce necessary to... Read more

Published in Networks, 2025 | Download Paper | Download Slides | Download Bibtex

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems

We present novel semiring semantics for abstract reduction systems (ARSs). More precisely, we provide a weighted version of... Read more

Published in 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, July 14-20, 2025, Birmingham, UK, 2025 | Download Paper | Download Slides | Download Bibtex

teaching

Quickest Transshipment Problem

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

Probabilistic Programming

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

Proseminar: Datenstrukturen und Algorithmen

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

UnRAVeL Summer Workshop 2024

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

Semantics and Verification of Software

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

Loop Rules for Weighted Programming

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

Program Synthesis for Weighted Programs

I supervise the Bachelor thesis of Tabea Hegewaldt on the topic of program synthesis for weighted programs.

Bachelor thesis supervision, RWTH Aachen University, Computer Science Department (i2), 2025

Weighted Caesar

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

Generating Exercises for Model Checking

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

Seminar: Trends in Model Checking

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

UnRAVeL Survey Lecture 2025 - Highlights of UnRAVeL

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

Model Checking

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