I'm a mathematical logician & philosopher currently teaching mathematics at a private school in San Francisco. My research is in mathematical logic, proof theory & the philosophy of mathematics as well as epistemology & the history of mathematics & analytic philosophy. I received my Ph.D. from Stanford in Philosophy in 2014 with a concentration in logic & proof theory. My dissertation showed that there is yet mathematical support for the original epistemic interpretation of Hilbert's Program in the post-Gödelian world. (Say that 3x fast!)

​

I like to write on Carnap & Hilbert & syntax & arithmetic and I'm passionate about teaching combinatorics, geometry, epistemology, logic & generally spreading the joys of thought onto everything including cabbages, kings, numbers, duties, possibilities, finger snaps, aesthetic experience and death (pace Wilfrid Sellars).

​

I had a side hustle in goldsmithing here & a side hustle in marketing here, both of which I worked on since 2011 with my partner Marie & with whom I have a lovely 8 year old boy named Anaximander.