Hello!

I'm first-generation academic researching higher categories (usually toposes) as they relate to/between Logic, Foundations, and Geometry. I'm currently a visiting professor at Colorado College where I have the privilege of teaching and mentoring some fantastic students. Lately, my supervised projects have mostly been in the direction of Automated Theorem Proving and Homotopy Type Theory.