School of Computing

Staff Profiles

Dr Sadegh Esmaeil Zadeh 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 with Prof. Alessandro Abate in the boundaries of model checking, control theory, and stochastic analysis.

>>> A PhD position available for a motivated student with background in formal methods, control theory, and/or probabilistic models, contact me with your resume.

>>> 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