Jordan Needle

Doctoral Student
Graduate Students

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.

Areas of Expertise
  • Semantics
  • Categorial Grammar
  • Formal Approaches
  • BA Linguistics, Cornell University, 2014

Picture for needle.6

(614) 292-8833
23 Oxley Hall
1712 Neil Ave.
Columbus, OH 43210