Hi! I’m JJ. I go by apropos (among other names) on the Internet.

I’m a fourth-year student at the University of British Columbia, flag hunter for Maple Bacon, mathematics, linguistics, and type theory aficionado, total language nerd, and occasional ultimate frisbee player.

Outside of school, sports, and social life, I enjoy building and contributing to free-and-open-source projects. The majority of my work can either be found on GitHub or here on my website.

## research

I am particularly interested in *language* and its relation to *meaning*.

This manifests itself in different fashions in different fields.

- In linguistics: I’m interested in the
**syntax-semantics interface**: in more philosophical terms, how*sense*informs*denotation*, and how*denotation*informs*sense*. I am particularly interested in this with respect to types and their connection to intuitionistic logic via Curry-Howard. - In computer science: I care about
**language interoperability**: the preservation of meaning across languages with differing types systems, operational semantics, and conventions. - In mathematics: I have a particular interest in
**foundations**and**category theory**: and how they inform what we*mean*by proof. This in turn has manifested an interest in theorem provers and proof mechanization.