Cameron Wong

I do cool things, occasionally.

Projects

Teaching

Research

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”

Last updated 2020-04-03