UnRAVeL Research Training Group
Doctoral researcher
Address
Building: Informatikzentrum
Room: 4228
Ahornstr. 55
52056 Aachen
| Dissertation project |
|---|
| Probabilistic Hyperproperties |
| Engagement |
| Member of the Gender & Diversity team |
Skip to Content Skip to Main Navigation Skip to Search
UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic