I am an Associate Professor (Reader) at the Department of Computing, Imperial College London, where I lead the AIMSE Lab (Artificial Intelligence and Formal Methods in Software Engineering).

My research is in the general area of formal methods for designing provably correct software systems, with particular focus on the generation, analysis and implementation of formal specifications for safe AI-enabled systems.

Learn about how AI can aid law enforcement in fighting crime on BBC One's Frontline Fightback (a clip from the show can be found here).

I am currently looking for motivated and strong PhD students with an interest and background in formal methods, software engineering and artificial intelligence. Several scholarships are available for prospective PhD students. Please see my teaching page for more information. I welcome enquiries from those wishing to apply for a PhD under my supervision.

I also regularly have research posts available. Please keep an eye on Imperial's vacancies, or get in touch by email.

News

  • Congratulations to Dr Rakhilya Mekhtieva on completing her PhD.
  • Industry track paper at FSE 2026: “How Analysts Use AI in High-Stakes Crime Linkage: An Industrial Study”.
  • Paper at NeSy 2026: “Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning”.
  • I received an Amazon Research Award (Fall 2025, Automated Reasoning) for “SOLAR: Symbolic Learning for Automated Requirements Consistency”.
  • Research paper at ICSE SEIS 2026: “Data-Dependent Goal Modeling for ML-Enabled Law Enforcement Systems”.
  • I'm co-chair of the ICSE 2027 New Ideas and Emerging Results (NIER) track.