Difference between revisions of "User:Hashemi"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
I am currently a Ph.D. student in | 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. | ||
Latest revision as of 16:40, 23 May 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.