Sadegh Soudjani
Associate Professor
My research aim is to develop an integrated environment for programming, verifying, and designing high-performance and scalable CPSs perceiving and acting in the uncertain physical world. I have developed and shaped my research vision on formal synthesis, abstraction, and verification (over probabilistic temporal specifications) of complex dynamical systems with application in cyber-physical systems (CPSs) particularly involving energy networks and autonomous systems. I have a BSc in Pure Mathematics, a BSc in Electrical Engineering, an MSc in Control Engineering, and a PhD in Systems & Control, all with distinction.
The Team
Viktorija Bezganovic
Intern
Weijie Dong
Visiting PhD Student
John Ingham
PhD Student
Anna Laino
PhD Student
Odette Mejia
Intern
Mahdi Nazeri
PhD Student on MPI-Oxford program
Mahmoud Salamati
Postdoctoral Researcher
Dovydas Stepas Vilkevicius
Intern
Andrew Wright
Intern
Past Members
Akshay Gupta
Now at Newcastle University
Milad Kazemi
Now a Postdoctoral Researcher at King's College London
Chenyu Ma
Now PhD Student at Newcastle University
Isaac Matthews
Now Security Researcher at Hewlett Packard Enterprise
Behrad Samari
Now a PhD Student at Newcastle University
Collaborators
Mahdieh Zaker
Now PhD Student at Newcastle University
