Hello! My name is Jonathan, although I will occasionally refer to myself in cyberspace as Jon for brevity. I am a prospective Master’s student at UBC, where I will be doing cool things related to programming languages theory. My interests range from type theory to logics to compilers.


I worked with Prof. William J. Bowman on my undergraduate thesis, which involved implementing sized types in Coq. The implementation can be found on GitHub.

Online Presence℠

Here are some linky links you can click or tap: