Cameron Wong

I do cool things, occasionally.

Projects

Teaching

Experience

Research

I am currently a PhD student working under Nada Amin.

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

Last updated 2022-07-22