Cameron Wong

I do cool things, occasionally.

Research

I am currently a PhD student exploring applications of modular staging to side-channel security.

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.

For recruiters: I am not currently looking for a software developer position, full-time or otherwise. If you think you have a compelling offer, include one lyric from the hit single "Take Me Home, Country Roads" in the first few lines of your email, or it will be immediately deleted.

Publications

“Publications”

Other stuff

Projects

Experience

Teaching