Sadegh Soudjani
Scholar

Sadegh Soudjani

Google Scholar ID: 4SK-Q-YAAAAJ
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Cyber-Physical SystemsSafe Autonomy & AIModel CheckingFormal MethodsQuantum Verification
Citations & Impact
All-time
Citations
2,581
 
H-index
29
 
i10-index
65
 
Publications
20
 
Co-authors
19
list available
Resume (English only)
Academic Achievements
  • 70 total publications: 46 conference papers, 24 journal articles
  • Published in top venues including IEEE Transactions and Lecture Notes in Computer Science (LNCS)
  • 1400+ citations, h-index 21, i10-index 45 (Google Scholar)
  • All conference papers accepted at CORE A* or flagship venues
  • Coordinator and PI of a €4M European Innovation Council (EIC) project on symbolic logic for situational awareness in mixed autonomy
  • EPSRC New Investigator Award (€570k), ranked #1 with full marks from reviewers
  • Secured 7 PhD studentships (total €728k)
  • Received funding from EPSRC, EIC, and UK Centre for Doctoral Training
Research Experience
  • Full Professor and Chair in Cyber-Physical Systems, University of Birmingham
  • Senior Research Group Leader, Max Planck Institute for Software Systems
  • Former Professor and AMBER Group Director at Newcastle University
  • Former Research Associate at University of Oxford
  • Led multiple research projects: MoVeS (2010–2013), AMBI (2014–2015), Safe-CPS (2016–2017), CodeCPS (2021–2024), SymAware (2022–2025)
Background
  • Full Professor and Chair in Cyber-Physical Systems, and Director of Global Engagement at the University of Birmingham, UK
  • Senior Research Group Leader at the Max Planck Institute for Software Systems, Germany
  • Former Director of the AMBER Group (40+ members) and Professor in Cyber-Physical Systems at Newcastle University, UK
  • Former Research Associate at the University of Oxford
  • Research aims to develop an integrated environment for programming, verifying, and designing high-performance and scalable cyber-physical systems that perceive and act in uncertain physical environments
  • Research vision centers on formal synthesis, abstraction, and verification (over probabilistic temporal specifications) of complex dynamical systems
  • Applications focus on cyber-physical systems, especially energy networks and autonomous systems