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 .

Personal

I like playing music, and am currently studying the carillon with Wesley Arai. I occasionally post my progress videos here. Previously, I studied organ with Gail Archer. I’m also mildly weeb, enjoying owarai, podcasts, and anime.