Daniel Zilken

Email
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, we can think about possible topics together or we can discuss if one of the following open topics suits you:

Ongoing Projects:

  1. (B): Samuel Akinlaja – Model Checking Markov Chains as Distribution Transformers (working title)
  2. (B): Elbeck Lazaridi – Computing the post for a probabilistic program (working title)
  3. (Intern): Diane Cauquil – Certificates for long-run average rewards in MDPs

Past Projects:

Publications

You can also find me on dblp, ORCID, and Google Scholar

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

More About Me