I am an Honoury Research Associate in the School of Engineering and Computer Science at the Victoria University of Wellington, New Zealand. I was a Postdoctoral Research Fellow there from 2009 to 2011. I am investigating foundational models for ownership types and various other things. I am mainly working with Prof James Noble. I am currently looking for software development or research work.

I taught half of SWEN431/COMP432 - Advanced Programming Languages in 2010 and 2009, SWEN221 - Software Development in 2010, and COMP462 - Object Oriented Paradigms in 2009. I am supervising Paley Li (PhD), and supervised Frank Schmager (MSc project) and Sam Queree (BSc Hons project). I am on the program committee for ECOOP 2012. I was the program committee chair for IWACO 2011 and was on the program committee for IWACO 2009.

My research interests are in the design, theory, and implementation of object oriented programming languages and type systems, including generics and parametric polymorphism, virtual classes, ownership types and universes, existential types, and dependent types.

I have a PhD in Computing from Imperial College London (2008); my supervisor was Prof Sophia Drossopoulou and my thesis title was "Existential Types for Subtype Variance - Java Wildcards and Ownership Type". I graduated with first class honours in Computer Science from UCL in 2005.

My blog contains more details about my work and associated ramblings. Papers I have co-authored and other research artifacts can be found on the publications page. For more information about my research and experience please download my CV (pdf). There are a few bits and pieces about my non-professional life on the personal page.