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 for software engineering. 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.

News