Cameron Wong

I do cool things, occasionally.


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.



Other stuff