User:Hashemi

From MPDLMediaWiki
Revision as of 09:30, 13 February 2014 by Grossmann (talk | contribs) (Creating user page for new user.)
(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. 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=93522"