I'm a graduate student in logic at Carnegie Mellon. My main interests are Proof Theory and Computability Theory. More specifically, I am interested in the relationship between computability and analysis, including computable analysis, algorithmic randomness, reverse mathematics, and finitary/metastable results.