Nicholas Cameron

Dr Nicholas Cameron

Honourary Research Associate
School of Engineering and Computer Science
address

Research Interests

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.

Publications

For a list of my recent publications, please see the Publications Database.

Biography

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.