School of Computing

Staff Profiles

Dr Sadegh Soudjani



Please see my webpage for up-to-date information here.

I am a Lecturer (Assistant Professor) in the School of Computing. Before joining Newcastle University, I was a postdoctoral researcher at Max Planck Institute and University of Oxford. I did my PhD at Delft University of Technology in the boundaries of model checking, control theory, and stochastic analysis.

Area of expertiseFormal Verification and Synthesis of Complex Dynamical Systems

Google Scholar: Click here.

>>> Opportunities available for Master thesis, local students contact me with your resume.


Research Interests

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