News: I’m on the academic job market for tenure-track faculty positions in Computer Science! Check out my CV, teaching statement, and research statement.

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.

Outside of academia, 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.

Contact

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