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