Brent Yorgey

Programming Languages Group
Department of Computer and Information Science
University of Pennsylvania
Levine Hall 315
Email: first initial last name at cis.upenn.edu
PGP public key

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.