School of Computing

Staff Profiles

Dr Sadegh Esmaeil Zadeh Soudjani

Lecturer

Background

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.

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

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