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.
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 have spent time in industry as a web applications developer, some of it at Hyperspheric Solutions.