- darion.haase at cs.rwth-aachen.de
- Address
- Room 4231
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21225
I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.
Research
My research currently focuses on parameter synthesis for parametric probabilistic systems, in particular variants of probabilistic timed automata, as part of the DFG project PASYWI: PArameter SYnthesis for reliable, performant and efficient WIreless network protocols.
Teaching
Publications
You can also find me on dblp and ORCID.