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.

2022
[bibtex]
@masterthesis{A2022,
title = {A unified slicing framework for probabilistic programs},
author = {Darion Haase},
institution = {RWTH Aachen University},
type = {Master Thesis},
year = {2022},
url = { https://publications.rwth-aachen.de/record/847345},
}×
[issue]
Darion Haase. A unified slicing framework for probabilistic programs, Master Thesis, RWTH Aachen University, 2022.
Show all