Completed Theses

2026

Ivo Melse
Master’s thesis · Radboud University, the Netherlands · 2026

2025

Daniel Basgöze
Weakest Preexpectation-Based Probabilistic Program Analysis using Binary Decision Diagrams
Master’s thesis · RWTH Aachen

2024

Daniel Zilken
Distributional Invariants for Probabilistic Programs
Master’s thesis · RWTH Aachen

Dinis Vitorino
Most Probable Explanations in Bayesian Networks via Weighted Programming
Bachelor’s thesis · RWTH Aachen

Nora Orhan
Quantitative Quantifier Elimination
Bachelor’s thesis · RWTH Aachen

2023

Tom Biskup
Invariant-Based Strategy Synthesis for Nondeterministic Probabilistic Programs
Master’s thesis · RWTH Aachen
Recipient of the Berthold Vöcking Master Award.

2022

Philipp Schröer
A Deductive Verifier for Probabilistic Programs
Master’s thesis · RWTH Aachen

Ben Sturgis
Automatic Verification of Loop Invariants in Weighted Programs
Bachelor’s thesis

2021

Marvin Jansen
Decidability and Complexity of Entailment Checking in Quantitative Separation Logic
Master’s thesis · RWTH Aachen
Recipient of the CS Department Award at RWTH Aachen.

Adrian Gallus
RPrIC3: PrIC3 for Expected Rewards
Bachelor’s thesis · RWTH Aachen

Florian Keßler
On the Decidability of Entailment Checking in Quantitative Separation Logics
Bachelor’s thesis · RWTH Aachen
Recipient of the CS Department Award at RWTH Aachen.