User:Hashemi

From MPDLMediaWiki

Revision as of 09:36, 13 February 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=93524"