About me

I am a postdoctoral researcher at the chair of Prof. Dr.-Ing. Holger Hermanns since May 2017. Before that, I got my Ph.D at ENS Cachan/Paris Saclay, whose title is “Randomized Strategies in Concurrent Games”, and that I defended in March 2017. My research includes quantitative verification techniques, parametric stochastic systems, game theoretical approaches. I am more recently considering the study of cyber-physical systems.

Contact

Address: Campus Saarbr├╝cken, 66123 Saarbr├╝cken
Phone: +49 681 302 5610
Location: Bldg. E1 3, Room 532
E-mail: dstan@depend.uni-saarland.de

Publications

Full list coming soon, can also be found from dblp.