About me

I am a third 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 and monotonic reasoning about 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).