Sadegh Soudjani

Address

Sadegh Soudjani, PhD
Postdoctoral Researcher
Max Planck Institute for Software Systems
Building G 26, Paul-Ehrlich-Strasse
Kaiserslautern
67663, Germany

Contact

Office: 305
Phone: +49 631 9303-8521
Fax: +49 631 9303-9699
Email:
Homepage: http://www.mpi-sws.org/~sadegh/

Research Interests

Formal Synthesis, Abstraction, and Verification (over probabilistic temporal specifications), with application to Cyber-Physical Systems and Stochastic Hybrid Systems, particularly involving smart grids, power and energy networks, robotics, transportation systems, and systems biology

Projects:

MoVeS (2010-2013), AMBI (2014-2015), Safe-CPS (2016-now)


© Sadegh Soudjani 2013