User:Hashemi

I am currently a Ph.D. student in Dependable Systems and Software Group at Saarland University and Max Planck Institute for Informatics. My research interest is game-based verification of concurrent probabilistic systems.