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 or we can discuss the preliminaries of one of the following open topics:

Supervised Students & Interns:

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