I am a PhD student in Pure and Applied Logic at Carnegie Mellon University, officially residing in the Philosophy department. (Despite the residence, my work is primarily in computer science and mathematics.)
I earned an MS in Logic, Computation, and Methodology in 2014 and an MS in Mathematics in 2015, both from CMU.
Previously, I earned a BA from Rice University with a double major in Mathematics and Philosophy, and taught geometry, pre-calculus, and AP calculus at St. Agnes Academy in Houston.
My interests revolve around logic and the foundations of mathematics. I work on automated logical reasoning and theorem-proving, formal verification, and type theoretic foundations for mathematics. More details are available on my Research page.
You can download a copy of my CV here.
My office at CMU is Doherty Hall 4302D (directions here). You may reach me by email at firstname.lastname@example.org or by mail at:
CMU, 5000 Forbes Ave.
Dept. Philosophy, BH135
Pittsburgh, PA 15213