I am a second-year Computer Science PhD student at Stanford University, advised by Clark Barrett. I am broadly interested in Automated Reasoning.
In my undergrad, I worked on loop invariant generation, program synthesis, and scaling network verification using symbolic execution.
Ping me if you want to chat!
I am seeking Summer 2025 internships!