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:

  • Termination Rules for Probabilistic Programs
  • Distribution Transformers for Probabilistic Programs
  • Certifying Over- and Underapproximations of the Post-Distribution
  • Model Checking Markov Chains as Distribution Transformers

Publications

Teaching

Summer Semester 2025

  • Compiler Construction

Winter Semester 2024/25

More About Me