I am interested broadly in connections between proofs, computation, and mathematics. My research interests include (but are not limited to): type systems and computational models, theorem proving and (semi-)automated reasoning, logic and proof theory, and computational mathematics.