Dr Nicholas Cameron
Honourary Research Associate
School of Engineering and Computer Science
Fax: +64 4 463 5045
Location: No current office - Postal Address
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.