SCHOOL OF ENGINEERING AND COMPUTER SCIENCE

Nicholas Cameron

Dr Nicholas Cameron

Honourary Research Associate
School of Engineering and Computer Science
address

Phone:
Fax: +64 4 463 5045
Location: No current office - Postal Address

NicholasCameron.jpg

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.

StaffForm
ResearchInterests Programming language theory: object-oriented languages, ownership types, Java wildcards, nested classes, dependent types; computer graphics: type systems for computer graphics
Qualifications PhD Computing (Imperial College London, 2009), BSc Computer Science (University College London, 2005)
Publications Show Publications Link
Print version | Backlinks