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


Picture of Weijie Dong

Weijie Dong

Visiting PhD Student

Picture of John Ingham

John Ingham

PhD Student

Picture of Anna Laino

Anna Laino

PhD Student

Picture of Odette Mejia

Odette Mejia


Picture of Mahdi Nazeri

Mahdi Nazeri

PhD Student on MPI-Oxford program

Picture of Mahmoud Salamati

Mahmoud Salamati

Postdoctoral Researcher

Picture of Dovydas Stepas Vilkevicius

Dovydas Stepas Vilkevicius


Picture of Andrew Wright

Andrew Wright


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

Chenyu Ma

Now PhD Student at Newcastle University

Picture of Isaac Matthews

Isaac Matthews

Now Security Researcher at Hewlett Packard Enterprise

Picture of Behrad Samari

Behrad Samari

Now a PhD Student at Newcastle University