Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Welcome to my personal website!
Archive Layout with Content
Posts by Category
Posts by Collection
CV
CV
Markdown
Page not in menu
Page Archive
Portfolio
Publications
Sitemap
Posts by Tags
Talk map
Talks and Presentations
Teaching and Organization
Terms and Privacy Policy
Blog posts
Jupyter notebook markdown generator
Posts
Future Blog Post
This post will show up by default. To disable scheduling of future posts, edit config.yml and... Read more
Published:
</article> </div>Blog Post number 4
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t... Read more
Published:
</article> </div>Blog Post number 3
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t... Read more
Published:
</article> </div>Blog Post number 2
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t... Read more
Published:
</article> </div>Blog Post number 1
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t... Read more
Published:
</article> </div>portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>Program Synthesis for Weighted Programs
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
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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>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
</article> </div>