Professor Sadegh Soudjani PhD

Professor Sadegh Soudjani

School of Computer Science
Chair of Cyber-Physical Systems
Director of Global Engagement

Contact details

Email
s.soudjani@bham.ac.uk
View my research portal
Address
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Professor Sadegh Soudjani is currently the Chair in Cyber-Physical Systems, and Director of Global Engagement at the University of Birmingham, United Kingdom. He is also a Senior Research Group Leader at the Max Planck Institute for Software Systems, Germany.

Qualifications

  • PhD in Systems and Control, Delft University of Technology, 2014
  • MSc in Control Engineering, University of Tehran, 2009
  • BSc in Mathematics, University of Tehran, 2007
  • BSc in Electrical Engineering, University of Tehran, 2006

Biography

Sadegh Soudjani is the Director of Global Engagement at the School of Computer Science, University of Birmingham. He is also the director of the CPS Lab conducting cutting edge research at the intersection of Safe Autonomy & AI to develop an integrated environment for programming, verifying, and designing high-performance and scalable cyber-physical systems perceiving and acting in the uncertain physical world.

Previously, he was the Director of the AMBER Group at Newcastle University (40+ members), United Kingdom, Professor in Cyber-Physical Systems at Newcastle University, and Research Associate at the University of Oxford. His interests aim at developing and translating deep theoretical results into complex AI-driven applications including robotics, smart energy networks, and quantum computing.

He has published over 160 research articles and has been involved in a number of national, international and industrial research projects, acting as leading researcher and principal investigator, and having secured research grants for >8M Euros. He is the recipient of the prestigious ERC Consolidator Grant in 2023 and the EPSRC New Investigator Award from the UK Research Council in 2021. He is the coordinator of the EIC-Pathfinder SymAware for developing symbolic logic frameworks for situational awareness in learning-enabled systems.

Publications

Recent publications

Article

Hillston, J, Soudjani, S & Waga, M 2026, 'Introduction to the special issue on timed and stochastic approaches to system evaluation', International Journal on Software Tools for Technology Transfer, vol. 28, pp. 1-3. https://doi.org/10.1007/s10009-026-00853-1

Das, R, Monir, N, Si, YA, Saoud, A, Soudjani, S & Jagtap, P 2026, 'Temporal logic resilience for continuous-time systems', Nonlinear Analysis: Hybrid Systems, vol. 61, 101741. https://doi.org/10.1016/j.nahs.2026.101741

Majumdar, R, Sathiyanarayana, VR & Soudjani, S 2024, 'Necessary and Sufficient Certificates for Almost Sure Reachability', IEEE Control Systems Letters, vol. 8, pp. 2703-2708. https://doi.org/10.1109/LCSYS.2024.3507279

Conference article

Monir, N, Schön, O & Soudjani, S 2024, 'Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs', IFAC-PapersOnLine, vol. 58, no. 11, pp. 99-106. https://doi.org/10.1016/j.ifacol.2024.07.432

Conference contribution

Bahmani, S, Paul, S, Schewe, S, Soudjani, S & Trivedi, A 2026, Automata-Theoretic Verification of Interval Markov Decision Processes. in 2026 IEEE 65th Conference on Decision and Control (CDC). IEEE Conference on Decision and Control, Institute of Electrical and Electronics Engineers (IEEE), 2026 IEEE 64th Conference on Decision and Control (CDC), Honolulu, Hawaii, United States, 15/12/26.

Majumdar, R, Salamati, M, Singh, N & Soudjani, S 2026, Learning Metastable Dynamics. in HSCC '26: Proceedings of the 29th ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery (ACM), 29th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2026, Saint Malo, France, 11/05/26. https://doi.org/10.1145/3801146.3805671

Casablanca, E, Sidaway, M, Soudjani, S & Zuliani, P 2026, Verified Linear Programming through Tolerance-Aware Precision Boosting. in Verified Software. Theories, Tools and Experiments: 18th International Conference, VSTTE 2026 [...]. Lecture Notes in Computer Science, Springer Nature, 18th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2026, Graz, Austria, 14/09/26.

Matthews, I, Soudjani, S & van Moorsel, A 2021, Stochastic Simulation Techniques for Inference and Sensitivity Analysis of Bayesian Attack Graphs. in W Lu, K Sun, M Yung & F Liu (eds), Science of Cyber Security: Third International Conference, SciSec 2021, Virtual Event, August 13–15, 2021, Revised Selected Papers. 1 edn, Lecture Notes in Computer Science, vol. 13005, Springer, pp. 171-186, 3rd International Conference on Science of Cyber Security, SciSec 2021, Virtual, Online, 13/08/21. https://doi.org/10.1007/978-3-030-89137-4_12

Matthews, I, Mace, J, Soudjani, S & Van Moorsel, A 2020, Cyclic bayesian attack graphs: A systematic computational approach. in G Wang, R Ko, MZA Bhuiyan & Y Pan (eds), Proceedings - 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020., 9343123, Proceedings - 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Institute of Electrical and Electronics Engineers (IEEE), pp. 129-136, 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Guangzhou, China, 29/12/20. https://doi.org/10.1109/TrustCom50675.2020.00030

View all publications in research portal