Nicholas Cameron
Dr Nicholas Cameron
Honourary Research Associate,
School of Engineering and Computer Science
Phone:
Email: address
Office: No current office - Postal Address
Nearest Fax: +64 4 463 5045
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 |
EResearch