I am a Ph.D. student in the Philosophy Department at Carnegie Mellon University, Pittsburgh. My advisor is Steve Awodey.
My research is at the intersection of math, philosophy, and linguistics. I am particularly interested in applying the mathematics of category theory and type theory to traditional issues in philosophy and linguistics.
Much of my research to date aims to modernize the intensional logic of Richard Montague, with associated applications. Check out Research for more!
I completed my M.S., entitled “Montague’s Intensional Logic as Comonadic Type Theory” at Carnegie Mellon in 2017. I completed a bachelor’s degree in Linguistics and Mathematics at Harvard University in 2013.
I expect to complete my Ph.D. in Logic, Computation, and Methodology in the spring of 2020.