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.
|Address:||Campus Saarbrücken, 66123 Saarbrücken|
|Phone:||+49 681 302 5610|
|Location:||Bldg. E1 3, Room 532|
Full list coming soon, can also be found from dblp.