I completed my Ph.D. in computer science at the Dependable Systems and Software group, supervised by Prof. Holger Hermanns, in early 2015 with a thesis On the Analysis of Stochastic Timed Systems. I was a postdoc in the group until September 2015. For up-to-date information, please visit my personal web page.