Research
I am particularly interested in language and its relation to meaning.
This manifests itself in various different fashions in different fields.
- In linguistics: I am interested in most things around the syntax-semantics interface: in more philosophical terms, how sense informs denotation, and how denotation informs sense. Particularly, I care about how tense + aspect + modality, mood + dynamic semantics, and quantifiers can be represented and behave across languages. Previously, I was interested in how the linguistic notion of types connected to intuitionistic logic via the Curry-Howard correspondence, though I’ve since satiated that interest as a term paper topic.
- 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. I also enjoy algebra.
- In computer science: I care about language interoperability: the preservation of meaning across languages with differing types systems, operational semantics, and conventions. Alongside this, I have recently also developed an interest in effect handlers: finding interest in their use as a conceptual unification of non-local control flow. I also like (hygienic) macros.