Welcome! I am a 4th-year Computer Science Ph.D. student at UC San Diego in the Programming Systems group in La Jolla, CA, advised by Sorin Lerner. I am extremely grateful for the additional mentorship of Nikolaj Bjørner at Microsoft Research.

In summer 2026, I am joining the Automated Reasoning Group at Amazon Science as an Applied Scientist Intern. In summer 2025, I interned at Microsoft Research in the Research in Software Engineering (RiSE) group. Before coming to UCSD, I double majored in Computer Science and Music and minored in Mathematics at Pomona College in Claremont, CA, where I was advised by Yuqing Melanie Wu and Ben Wiedermann in CS, and Alfred Cramer in Music. I used to work as a software engineer at Meta, and as a freelance software engineer at Stainless.

My research interests lie at the intersection of Programming Languages, Automated Reasoning, and AI. I am interested in developing scalable automated reasoning techniques that support trustworthy, formally verified AI systems. I am particularly interested in improving the performance of SAT and SMT solvers.

My recent work has centered on parallelization techniques for the SMT solver Z3. My previous work combined stochastic and formal logic techniques to frame and solve the nested NP-hard combinatorial optimization problem of music structure summarization as an extension of the Generalized Median Graph problem. Check out Projects and Publications for more details!

I am also passionate about mentoring. I mentored four undergraduate students on a year-long research project in the 2025-2026 UCSD Early Research Scholars Program and served as Co-Chair for UCSD’s Graduate Women in Computing organization in the 2024-2025 school year. In my free time, I am an amateur flutist, and I enjoy continuing my undergraduate musicology research on the Jewish Polish Soviet Holocaust-era composer Mieczysław Weinberg.

Updates