Hello! My name is Jonathan, although I will occasionally refer to myself in cyberspace as Jon for brevity. I am a Master’s student at UBC, where I will be doing cool things related to programming languages. 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.

GitHub button @ionathanch GitLab button @ionathanch ORCiD button 0000-0003-0830-3180 ReadTheDocs button wiki.ionathan.ch Email button jcxz [at] cs [dot] ubc [dot] ca

Twitter button @ionathanch Mastodon button @ionchy@types.pl Instagram button @ionchyeats Keybase button @ionathan