About me

I have been 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

Publications

Full list can be found at dblp.