Dominik Meier

Person

Dominik Meier

M. Sc. RWTH

Former Doctoral researcher

Download digital business card
Computer Science Departement, RTG UnRAVeL

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