Sadegh Soudjani

Research group leader of HyCoDeV and Associate Professor at Newcastle University.

I am currently an Associate 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 CPSs 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 (CPSs) 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.