|Carnegie Mellon University|
|Department of Philosophy|
|Doherty Hall 4301-A|
|Advisor: Steve Awodey|
I am a senior graduate student in the Department of Philosophy at Carnegie Mellon University, working towards a PhD in Logic, Computation and Methodology. My current research focuses on categorical logic, and its connections to algebraic geometry and model theory. I am currently applying for jobs, with the intention of graduating in Summer 2013.
In Fall 2012 I am teaching a course in Category Theory. You can find the webpage here.
|A draft paper describing the framework of logical schemes, the topic of my thesis.
|Another draft, with a more thorough discussion of the spectral space of the logical scheme construction.
|A refactoring of the Makkai/Reyes proof of conceptual completeness for pretoposes.
|You can also find a draft of my research statement here: