- 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 if one of the following open topics suits you:
- Verifying the Fast Loaded Dice Roller Algorithm
- Termination Rules for Probabilistic Programs