Programming Languages Group
Levine Hall 513
University of Pennsylvania
3330 Walnut Street
Philadelphia, PA 19104

(a.k.a. goldfire on some sites)
photograph of Richard A. Eisenberg
About Me

I am currently a PhD student focusing on programming languages in the Computer & Information Science department at the University of Pennsylvania. My advisor is Stephanie Weirich, and I enjoy working with the other programming language professors, Benjamin Pierce and Steve Zdancewic. I started working toward my degree in 2011.

My research aims to reduce the occurrence of bugs in computer code through enhanced static checks. I am interested in type systems and how they can help a programmer to avoid logical fallacies and erroneous programs. In particular, I believe that clever use of dependent types can encourage a programmer to write only correct code. A long-term goal of mine is to bring dependent types to a wider audience, both into industry and into education. On a more basic level, I also love the formalisms and proofs involved in programming language research!

The current focus of my research is on playing with the Haskell language and tinkering with its primary compiler, GHC. You can see a list of my current and former projects here.