Welcome to my website!

I am a PhD candidate in computer science at RWTH Aachen University, working in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen. My broader research interests include formal verification, discrete optimization, and algebra. My position is funded by the research training group UnRAVeL.

Research

In my doctorate, I investigate “weighted programming”, a novel programming paradigm designed for describing and solving, e.g., 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.

Additionally, I have recent work with Jan-Christoph Kassing, Joost-Pieter Katoen, and Jürgen Giesl on “weighted rewriting” – generalizing rewriting techniques in order to analyse a broader range of properties (termination, safety, combined properties, etc.).

Working Together

I enjoy research cooperations and supervising Bachelor’s and Master’s theses. From time to time there are open Hiwi positions available at our chair. Write me a mail if you are interested in working with me!

Check out the rest of my website or contact me by mail if you have any further questions.