Person
Dominik Meier
Computer Science Departement, RTG UnRAVeL
Former Doctoral researcher
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
| Dissertation project |
|---|
|
Termination and Complexity Analysis of Probabilistic Programs |
| Collaborations |
| Marcel Hark: Automated Runtime Analysis of Probabilistic Programs |
| Tobias Winkler: Programming and Verifying Uncertain Phenomena |
| Talks |
|
Bi-Weekly Talk: Termination of Probabilistic Programs via PTRS |