Welcome! I am a 3rd-year Computer Science Ph.D. student at UC San Diego in the Programming Systems group in La Jolla, CA, advised by Sorin Lerner. In summer 2025, I interned at Microsoft Research in the Research in Software Engineering (RiSE) group, researching online SMT parallization algorithms and natural language reasoning for program verification under the mentorship of Nikolaj Bjørner. In summer 2026, I am excited to be joining the Automated Reasoning Team at Amazon Research. 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!

Besides research, I am passionate about mentoring. I has the pleasure of mentoring four undergraduate students on a year-long research project in the 2025-2026 UCSD Early Research Scholars Program. I also 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.