- tobias.winkler at cs.rwth-aachen.de
- Room 4206
- +49 241 80 21210
I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen.
My research interests include:
- Stochastic Games
- Parametric Markov Decision Processes
- Probabilistic Model Checking
- Probabilistic Programming
If you are interested in writing a Bachelor/Master’s thesis in any of these areas, don’t hesitate to contact me.
I’m currently involved in the following teaching activities:
|[bibtex]||Tobias Winkler, Sebastian Junges, , Joost-Pieter Katoen. On the Complexity of Reachability in Parametric Markov Decision Processes, CONCUR 2019, Volume 140 of Leibniz international proceedings in informatics : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019.|