About me

I am a Ph.D. student at the chair of Prof. Dr.-Ing. Holger Hermanns since November 2012.

Contact

Address: Campus Saarbr├╝cken, 66123 Saarbr├╝cken
Phone: +49 681 302 5621
Location: Bldg. E1 3, Room 511
E-mail: hashemi@depend.uni-saarland.de

Research

My main research interests range over stochastic modelling, optimal control and verification of parametric probabilistic systems. These involves topics such as efficient decision algorithms for behavioral equivalences, controller synthesis and so on.