Paper accepted at POPL 2027
Principles of Programming Languages · Denver, CO
OCT 2026
About
I'm a third-year Computer Science PhD student studying formal methods at the University of Southern California (USC), advised by Prof. Chao Wang. My research interests are in abstract interpretation, specifically in automating the challenging aspects of software verification and the design of verification tools. I am also interested in using formal techniques to improve the quality and security of LLM-generated code.
I am also an Operations Team Member at SIGPLAN-M, a wonderful group which pairs up mentors and mentees in the PL community. Check it out!
Prior to USC, I received my B.S. in Computer Science with a minor in Mathematics from UC Davis, where I was advised by Prof. Aditya V. Thakur.
Here's my CV!
Recent News
The proof continues.
Distinguished Paper Award, CAV 2026
Computer Aided Verification · Montréal
JUL 2026
Research internship, Microsoft Research
RiSE group · Cambridge, UK
JUN 2026
Invited talk: mechanized concurrent separation logic
Iris Workshop
APR 2026
Preprint: a verified register allocator
arXiv:2602.04417
FEB 2026
Publications
Results, established.
2027
2026