Sadegh Soudjani

Sadegh Soudjani

Senior Research Group Leader at Max Planck Institute for Software Systems

I am currently a Senior Research Group Leader at Max Planck Institute for Software Systems since December 2023. Prior to this, I was the director of the AMBER group and a Reader (full professor) in Cyber-Physical Systems at Newcastle University, United Kingdom. My research aim is to develop an integrated environment for programming, verifying, and designing high-performance and scalable cyber-physical systems perceiving and acting in the uncertain physical world. I have developed and shaped my research vision on formal synthesis, abstraction, and verification (over probabilistic temporal specifications) of complex dynamical systems with application in cyber-physical systems particularly involving energy networks and autonomous systems. I have a BSc in Pure Mathematics, a BSc in Electrical Engineering, an MSc in Control Engineering, and a PhD in Systems & Control, all with distinction. I built my background in Computer Science during my PhD studies and postdoctoral experiences at TU Delft, Oxford University, and the Max Planck Institute for Software Systems.


MoVeS (2010-2013)

SymAware (2022-2025)

CodeCPS (2021-2024)

Safe-CPS (2016-2017)

AMBI (2014-2015)

Research interests

Formal Synthesis

Abstraction and Verification (over probabilistic temporal specifications)

Cyber-Physical Systems

Stochastic Hybrid Systems

Smart Grids

Power and Energy Networks

Transportation Systems

Systems Biology


46 contributions at conferences.

24 contributions in journals.