I am a third 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 and theory of computation. I am currently working on monotone and compositional static analysis techniques.

I completed my undergraduate degree at Cornell University during which time I was advised by Nate Foster.