Tobias Winkler


tobias.winkler at
Room 4206
Ahornstraße 55
D-52074 Aachen
+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:

  • TBA
DOI fulltext PDF [bibtex] Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, 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.