- daniel.zilken at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen
I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.
Research
My research focuses on the verification of probabilistic programs via distributional invariants. More specifically:
- Viewing Probabilistic programs and Markov chains as distribution transformers
- Automatic derivation of invariants
- Certification in Markov chains and Markov decision processes
Thesis Projects
If you are interested in writing a Bachelor/Master’s thesis don’t hesitate to step by my office or contact me. Then you can either bring up your own ideas or we can discuss the preliminaries of one of the following open topics:
- (B+M): Distribution Transformers for Probabilistic Programs
- (M): Termination Rules for Probabilistic Programs
- (M): Approximating the Output of a Probabilistic Program
Supervised Students & Interns:
- Samuel Akinlaja – Model Checking Markov Chains as Distribution Transformers (working title)
- Elbeck Lazaridi – Computing the post for a probabilistic program (working title)
- Diane Cauquil – Certificates for long-run average rewards in MDPs
Publications
You can also find me on dblp, ORCID, and Google Scholar
- TACAS 25 (Arxiv version: https://arxiv.org/abs/2501.11467)
Teaching
Summer Semester 2025
Winter Semester 2024/25
2021-2024
- Maybe you still know me as a Tutor/Mentor from one of the following courses 🙂
- Mentoring, DSAL, MaLo, FoSAP, Progra, SaVoS, TFUML, CT