I'm a second-year PhD student in the Programming Languages group at Penn. My research interests lie broadly within the fields of programming languages and discrete mathematics, with particular interests in functional programming languages, dependent type systems, and combinatorics. I am currently working with Stephanie Weirich on thinking about sum types and case analysis in the context of dependent type systems, and with Benjamin Pierce on formal semantics for bidirectional computation and distributed revision control systems.

I also love communicating knowledge, which takes many forms--teaching, tutoring, giving talks, writing articles--and see it as a natural extension of my research.