I am an Assistant Professor of Computer Science at Amherst College. I am also affiliated with Broadcom and the Manning College of Information and Computer Sciences at UMass Amherst.

AI is reshaping the future of software, but it also risks making our software more vulnerable. Addressing existing AI safety challenges is essential; at the same time, I believe AI presents a unique opportunity to make software systems SAFER and more capable than ever before. My research aims to advance both goals. Concretely, I develop formal methods to improve the trustworthiness of learning-enabled systems and study AI-assisted automated reasoning.

I got my PhD at Stanford University in 2024, advised by Clark Barrett. Before that, I graduated with BS in Mathematics and Philosophy from Davidson College.

If you are an undergraduate or graduate student interested in working with me, please reach out!

Selected work:

• Evaluating Text-to-SQL Evaluation with Formal Verification [ICLR’26]
• Cubing for Tuning [AAAI’26]
• Marabou 2.0: A Versatile Formal Analyzer of Neural Networks [CAV’24]
• Integrating Large Language Models in Automated Program Verification [ICLR’24]
• Efficient Neural Network Analysis with Sum-of-Infeasibilities [TACAS’22]
• All publications