Brent A. Yorgey

Current links

About me

I’m a fourth-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, generic programming, dependent type systems, and combinatorics.

I am currently working with Stephanie Weirich on the theory of combinatorial species and its applications to the theory and practice of functional programming. We also have an ongoing collaboration with Simon Peyton Jones and Dimitrios Vytiniotis at Microsoft Research Cambridge, designing and implementing extensions to the Glasgow Haskell Compiler to push Haskell further in the direction of dependent types.

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.