Levine Hall 513
University of Pennsylvania
3330 Walnut Street
Philadelphia, PA 19104
eir at cis.upenn.edu
(a.k.a. goldfire on some sites)
Bryn Mawr is a women's college in suburban Philadelphia, which shares a close partnership with the co-ed Haverford College, about 1 mile away. Students very frequently cross-register between the two colleges, and Haverford students (along with Swarthmore students, though Swarthmore is a bit further afield) are welcome to join my research group. I look forward to continuing to do research in type systems and functional programming in my new job, as well as teaching the next crop of computer scientists. If you're in high school, please consider joining one of these schools!
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 also work closely with Simon Peyton Jones. 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. My immediate goal with GHC is to add dependent types to Haskell. See my dissertation proposal for more details.