Ohio State nav bar

Jordan Needle

Jordan Needle

Jordan Needle

Doctoral Student

needle.6@osu.edu

23 Oxley Hall
1712 Neil Ave.
Columbus, OH
43210

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.

People Filters: