Cameron Wong

I do cool things, occasionally.

Research

I am currently a PhD student proving soundness of higher-kinded dependent object types.

I am broadly interested in the practical applications of type theories and related systems to the development of usable programming languages and practical software verification.

Publications

“Publications”

Other stuff

Projects

Experience

Teaching