Higher Education

I am currently nearing the end of my PhD in Programming Language Theory and hope to continue into a career in academic research. My research intersts are in the design, semantics, and type theory of object-oriented programming languages. I am currently investigating the use of existential types to model Java Wildcards (producing the first proven type sound formalism of wildcards), and extending ownership type systems to incorporate existentially quantified, and multiple, owners.