About Me

I am a 5th-year Computer Science PhD student at UC Santa Barbara, advised by Yu Feng. I’m broadly interested in helping programmers build provably correct and efficient software, using techniques from programming languages and formal methods. Prior to this, I got my undergraduate degree from Vassar College, and my M.S. from Yale University.

Contact

I can be reached via email. You can also find me on Google Scholar , GitHub , and Bluesky .