Person

Dominik Meier

M. Sc. RWTH

Doctoral researcher

Dominik Meier
Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

Contact

WorkPhone
Phone: +49 241 80 21214
Fax Fax: +49 241 80 22217
 
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