Darion Haase

Email
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

SS 2023Probabilistic Programming (Seminar)
Programming Languages (Proseminar)

Publications

You can also find me on dblp and ORCID.