This person can no longer be contacted through the School of Engineering and Computer Science at Victoria University of Wellington
My research interests are in the design and theory 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 am the program committee chair of IWACO '11
I am currently investigating foundational models for ownership types and anything which includes an existential quantifier.
Previously, I worked with James Noble
on encoding ownership types in Java
Visit my website
to find more about my research and publications.
For a list of my recent publications, please see the Publications Database
I have a PhD in Computing from Imperial College London; my supervisor was Prof Sophia Drossopoulou and my thesis title was Existential Types for Subtype Variance - Java Wildcards and Ownership Type
. I graduated in Computer Science from University College London in 2005.