I am a 3rd-year Computer Science PhD student at Stanford University, advised by Clark Barrett.
My interests center on combining automated reasoning with large language models (LLMs). More specifically, I work on autoformalization, the use of LLMs to translate natural language into machine-checkable formal statements.
Previously, I worked on a range of formal methods topics: SMT solving, theorem proving, symbolic computation, static analysis, symbolic execution, loop invariant generation, and program synthesis.
Feel free to reach out if you would like to chat or collaborate.