This site has moved to Please update your links.
Park Science Center 204
Bryn Mawr College
Bryn Mawr, PA 19010

+1 (610) 526-5061

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

I am an Assistant Professor of Computer Science at Bryn Mawr College. My research focus is on programming language theory and implementation. I completed my doctorate in 2016 at the University of Pennsylvania; my thesis advisor was Stephanie Weirich.

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. My immediate goal with GHC is to add dependent types to Haskell. See my dissertation for more details.

This source for this web site is public. Suggestions and improvements are welcome.