An image of SW
Dipl.-Math.
Sascha Wunderlich
Email
Office Room APB/3007
Nöthnitzer Str. 46
01187 Dresden
OSM

I am a doctoral student in the DFG Research Training Group QuantLA. I am researching at the chair of Christel Baier at the Institute for Theoretical Computer Science at TU Dresden.

My primary research interest is probabilistic model checking, especially for weighted Markovian models and specification languages with accumulation. I am also interested in applications for this and other formal methods, in particular in the context of the energy efficiency of systems.

Publications

dblp | Google Scholar | ResearchGate

Talks

Theses