I am Associate Research Professor at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. Previously, I was postdoc at Department of Computer Science, University of Oxford and Ph.D. student at Dependable Systems and Software, Universität des Saarlandes. My main research interest is probabilistic model checking. This involves topics such as: stochastic hybrid systems efficient algorithms for deciding linear time logic properties continuous-time Markov chains with infinite state-space parametric Markov models quantum Markov models