I am a second year PhD student in the Computer Science Department at Princeton University, and a member of the Programming Languages Group. I am currently advised by Zak Kincaid. My primary research interests are algebraic and geometric methods for program analysis and verification. My current research project involves compositional reasoning about conditional termination of programs.
I received a BS in Computer Science from Georgia Tech, where I did research on interactive fault localization methods for software engineering, and parallel algorithms for genome assembly. I was fortunate to be advised by Alex Orso, Srinivas Aluru, and Vijay Vazirani (now at UC Irvine).