Bryn Mawr College
Bryn Mawr, PA 19010
+1 (610) 526-5061
rae at cs.brynmawr.edu
(a.k.a. goldfire or goldfirere on some sites)
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.