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 dependent types to compilers to logics.


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℠