I am a PhD student in the theory group in the Allen School of Computer Science and Engineering at the University of Washington where I am advised by Paul Beame.
My current research aims to understand and improve verification tools like SAT-solvers from the perspective of proof complexity. More broadly, I am interested in applying the perspective of a theorist to problems from other fields.
I previously attended MIT, where I received my B.S. in Mathematics and B.S. in Physics in 2013.