About Me
I am a third-year graduate student in the Computer Science Department of the School of Computer Science at Carnegie Mellon University, advised by Frank Pfenning.
I was an undergraduate at Princeton University in the Computer Science Department. I was fortunate as an undergradute to be advised in independent work by Andrew Appel my junior year and by David Walker my senior year.
In the summer of 2007, I worked on the with the Rigorous Software Engineering at MSR India in Bangalore with these guys.
Research Interests
Use computers to check your proof. Note that [this] task is not trivial. A whole new scientific discipline may be needed. Let me call it Pedantics. A better pedanticist ("pedant" sounds negative) has a system with a more liberal front end, so that it is not too painful to rewrite your informal proof into their formal language. - Yuri Gurevich
I am interested in logical frameworks, programming languages, and in the applications of logic throughout the field of computer science, such as its applications to program analysis and security.
I am also interested in the way people learn to use frameworks for formalization and theorem proving, and in the way computer scientists, especially programming language researchers, can be enabled to use mechanized metatheory in a natural way: it should not the case that, to quote Andrew Appel, tools "which can be effective in the hands of experts MM users" are troublesome or unusuable "in the hands of mere expert programming-language researchers." As a part of this interest, spring of my senior year at Princeton Frank Pfenning gave me some web space to start a "Twelf Wiki." After my arrival at Carnegie Mellon I helped lead the transformation of that resource to the The Twelf Project Wiki, which I continue to contribute to.