Picture of Sadegh Soudjani

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

Picture of Viktorija Bezganovic

Viktorija Bezganovic

Intern

Picture of John Ingham

John Ingham

PhD Student

Picture of Anna Laino

Anna Laino

PhD Student

Picture of Chenyu Ma

Chenyu Ma

PhD Student

Picture of Odette Mejia

Odette Mejia

Intern

Picture of Mahmoud Salamati

Mahmoud Salamati

Postdoctoral Researcher

Picture of Dovydas Stepas Vilkevicius

Dovydas Stepas Vilkevicius

Intern

Picture of Andrew Wright

Andrew Wright

Intern

Picture of Mahdieh Zaker

Mahdieh Zaker

PhD Student

Past Members

Picture of Akshay Gupta

Akshay Gupta

Now at Newcastle University

Picture of Milad Kazemi

Milad Kazemi

Now a Postdoctoral Researcher at King's College London

Picture of Isaac Matthews

Isaac Matthews

Now Security Researcher at Hewlett Packard Enterprise

Picture of Mahdi Nazeri

Mahdi Nazeri

Now a PhD Student at Newcastle University

Picture of Behrad Samari

Behrad Samari

Now a PhD Student at Newcastle University

Collaborators