I am a senior lecturer (associate professor) at the Department of Computing, Imperial College London.

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.

Application domains include AI-enabled systems for tackling cyber-enabled crime. You can read about some of my work on crime linkage here.

Please see my research page for further details, or my publications.

My cv (pdf).

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


  • New research post causal learning for logic-based learning systems. For more details and to apply, please visit job avdert.
  • Research paper accepted at ASE NIER 2021: “Adaptation 2.0: Adapting Specification Learners in Assured Adaptive Systems ”.