- tobias.winkler at cs.rwth-aachen.de
- Address
- Room 4231
Ahornstraße 55
D-52074 Aachen
I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen. Moreover, I am an associated doctoral researcher in the research training group UnRAVel.
Research
My research is situated in the formal automatic analysis of probabilistic systems. In particular, my current interests include:
- Probabilistic Model Checking
- Parametric Markov Models
- Stochastic Games
- Probabilistic Programming
I supervise our UnRAVeL student assistant Johannes Lehmann.
Thesis projects
If you are interested in writing a Bachelor/Master’s thesis in any of the areas mentioned above, don’t hesitate to contact me. You can also check our list of open topics.
Current thesis projects
I am currently supervising the following projects:
- Automata-based Model Checking of Recursive Systems – Christina Gehnen, Bachelor’s thesis.
Teaching
I’m currently involved in the following teaching activities:
In previous semesters, I was involved in the following teaching actitvities:
| 2020 | |
|---|---|
|
|
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Kevin Stefan Batz, Lutz Klinkenberg, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327 |
[bibtex]
[issue]
|
Joost-Pieter Katoen, , , Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, International Conference on Computer Aided Verification (CAV20), Volume 12225 of LNCS, 398-420, Springer, 2020. |
| 2019 | |
[bibtex]
[issue]
|
, Joost-Pieter Katoen, Sebastian Junges, Tobias Winkler. 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. |