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.
Here are some linky links you can click or tap:
- GitHub, GitLab
- Twitter, Mastodon
- food Instagram
- personal wiki hosted on ReadTheDocs
- email (subject to change)