Person
Dominik Meier
Ehem. Promotionsstudent
Adresse
| Promotionsprojekt |
|---|
| Termination and Complexity Analysis of Probabilistic Programs |
| Kollaborationen |
| 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 |