Registered user since Fri 10 Jul 2020
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 methods for program analysis. 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).
|POPL 2023||When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic|
|Show activities from other conferences|