I am a current PhD student in computer science at the University of Colorado, Boulder. I am a member of the CUPLV research group under the advisement of Ashutosh Trivedi.

My research interests are broadly centered around theoretical computer science, especially automata theory, games & optimization, logic, and computational complexity.

Publications

Teaching