Brent A. Yorgey

Current links

Note: As a matter of personal discipline I do not check my email before noon. If you need to contact me in the morning and it’s important that I get your message before noon, call me, send me a text, or talk to me in person.

Note to headhunters: I am not interested in positions in industry, especially in the financial sector. Please don’t contact me about job opportunities.

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, embedded domain-specific languages, category theory, 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.