Dr Sadegh Esmaeil Zadeh Soudjani
- Email: firstname.lastname@example.org
- Telephone: +44 191 208 7856
- Personal Website: http://homepages.cs.ncl.ac.uk/sadegh.soudjani/
- Address: School of Computing
Urban Sciences Building
1 Science Square
Newcastle, NE4 5TG
My office is in room 6.035 (sixth floor).
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.
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