Person

Dominik Meier

M. Sc. RWTH

Promotionsstudent

Dominik Meier
Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation)

Adresse

Raum: 4208

Ahornstraße 55

52074 Aachen

Kontakt

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