User:Hashemi

From MPDLMediaWiki

Revision as of 18:40, 23 May 2014 by Hashemi (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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.

Retrieved from "https://colab.mpdl.mpg.de/mw010/index.php?title=User:Hashemi&oldid=97934"