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.

I welcome enquiries from prospective PhD students with an interest and background in formal software engineering, declarative specification, inductive synthesis and digital forensics. Please see my teaching page for more details on applying to Imperial for a PhD.

My cv (pdf).


  • Research paper accepted at ESEC/FSE 2017: “On Evidence Preservation Requirements for Forensic-ready Systems”.
  • Paper accepted at ETAPS 2017 Workshop on Learning in Verification: “A Non-monotonic Theory of Oracle-guided Inductive Synthesis”.
  • Workshop proposal accepted at ESEC/FSE 2017: “SERF: Software Engineering and Digital Forensics”.
  • Full research paper accepted at TACAS 2017: “Interpolation-Based GR(1) Assumptions Refinement”.
  • Please consider submitting to ICSE 2018.