Dr Sadegh Esmaeil Zadeh Soudjani
- Email: email@example.com
- Telephone: +44 191 208 7856
- Personal Website: http://homepages.cs.ncl.ac.uk/sadegh.soudjani/
- Address: School of Computing
6.035, Urban Sciences Building
1 Science Square
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 expertise: Formal 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.
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