Emma Ahrens

ahrens at cs.rwth-aachen.de
Room 4230
Ahornstra├če 55
D-52074 Aachen
+49 241 80 21222

I am a PhD candidate at the Software Modeling and Verification Group headed by Professor J.-P. Katoen. Moreover, I am funded by the research training group UnRAVel.

In my research, I investigate “weighted programming”, a novel programming paradigm designed for describing and solving online optimization problems. The primary focus involves establishing mathematical foundations for automated, deductive procedures in the analysis of “weighted” programs. I investigate the extendability of methods and techniques used in the analysis of probabilistic programs, particularly emphasizing the definition of proof rules for loops, demonstrating their correctness, and exploring the potential automation of loop invariant verification and synthesis.

Furthermore, I will explore the relationship of “weighted programming” to weighted Kleene algebras and weighted automata and investigate how suitable optimization problems may be modelled and solved via this new programming paradigm.


I am involved in the following teaching activities:


I am currently supervising Dario van den Boom on his Master thesis about an algorithm for the Quickest Transshipment Problem.


DOI [bibtex]
title = {Reasoning about distributed reconfigurable systems},
author = {Emma Ahrens and Marius Bozga and Radu Iosif and Joost-Pieter Katoen},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {6(OOPSLA2)},
pages = {pages 145-174},
type = {Journal Article},
year = {2022},
doi = {10.1145/3563293},
url = { https://publications.rwth-aachen.de/record/951603},
Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen. Reasoning about distributed reconfigurable systems, Proceedings of the ACM on programming languages 6 (OOPSLA2), pages 145-174, ACM, 2022.