About Me

Please note that I have now moved to the University of Kent, at Canterbury. My new webpage can be found here.

Since May 2014, I have been a Postdoctoral Research Associate in the PPLV group at UCL working with Dr James Brotherston on developing automated theorem provers using cyclic proofs for verifying programs using separation logic (EPSRC Grant EP/K040049/1). I currently also organise the research seminar series for the PPLV group.

Before that, I worked as a Teaching Fellow in the Department of Computing at Imperial College London, where I was responsible for teaching and admissions for the MSc in Computing Science.

I completed my PhD at Imperial College in 2012 under the supervision of Dr Steffen van Bakel, on the topic of semantic types for class-based objects.

I was awarded an MSc in Advanced Computing with Distinction by Imperial College in 2008.

I gained my BA degree in 2004 from Fitzwilliam College Cambridge, where I studied the Computer Science Tripos as a member of the Computer Laboratory.

I have spent time in industry as a web applications developer, some of it at Hyperspheric Solutions.