I am a second year PhD student in the computer science department at Princeton University. I work with the Programming Languages Group. My advisor is Zak Kincaid. My primary interests are verification, theory of computation, and fencing. I am currently combing the first two of my interests via research on program analysis techniques.

I completed my undergraduate degree at Cornell University, during which time I was advised by Nate Foster. Go big red! I also spent a semester at the University of Edinburgh, where I further explored my interest in fencing (and programming languages).