Difference between revisions of "User:Hashemi"
Jump to navigation
Jump to search
m (Creating user page for new user.) |
|||
| Line 1: | Line 1: | ||
I am currently a Ph.D. student in dependable systems and software group at Saarland University and Max Planck Institute for Informatics. | 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. | My research interest is game-based verification of concurrent probabilistic systems. | ||
Revision as of 09:36, 13 February 2014
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.