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