Levine Hall 513
University of Pennsylvania
3330 Walnut Street
Philadelphia, PA 19104
eir at cis.upenn.edu
(a.k.a. goldfire on some sites)
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!