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 2023	Probabilistic Programming (Seminar)
	Programming Languages (Proseminar)

Publications

You can also find me on dblp and ORCID.

Show all