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."
Links
- blog.hyperkind.org, an assortment of esoteric research thoughts, random Pittsburgh observations, and mild political opinions
- The Twelf Wiki, the home of Twelf
- Ollibot, a programming language for forward reasoning in linear logic
- SASyLF, an educational variant of the ideas in Twelf
- Concert Reading Group
- Travel blog
- CiteULike library