I am a Lecturer (Assistant Professor) at the Department of Computing, Imperial College London. I was an Imperial College Research Fellow 2013--2017.

My research is on formal methods for developing provably correct software systems, with a specific focus on specifications synthesis and analysis. I am interested in developing techniques and algorithms that exploit the semantic properties of system models and domain knowledge, with humans in the loop, to yield improved specifications. Application domains include citicial systems for enhancing security and tackling (cyber-)crime. Please see my research page for further details, or my publications.

You can read about some of my work on crime linkage here.

My cv (pdf).

I am currently looking for talented 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.


  • PhD funding oppurtunities in cybersecurity at LISS DTP. Deadline 31 January 2020, 17:00.
  • Recipient of Distinguished Reviewer Award at ICSE 2018.
  • Research paper accepted at FM 2018: “A Weakness Measure for GR(1) Formulae”.
  • New Ideas and Emerging Results (NIER) paper accepted at ICSE 2018: “Towards Forensic-Ready Software Systems”.
  • Research paper accepted at AAAI 2018: “Combining Experts’ Causal Judgments”.