Google Map
Areas of Expertise
- Semantics
- Categorial Grammar
- Formal Approaches
Education
- BA Linguistics, Cornell University, 2014
My primary interest is in applying mathematical approaches to existing theories of semantics. Much of my current work makes use of the (predicative) Calculus of (Inductive) Constructions, and is done in the theorem prover Coq.