I am an Assistant Professor in Computer Science at Amherst College. I am also an Affiliated Researcher at VMware Research by Broadcom.

I envision a future where computer systems seamlessly integrate logical reasoning and inductive reasoning to automate complex tasks in a scalable, reliable, safe, and explainable manner. To realize this goal, I develop methods to formally verify and guarantee properties of deep-learning-enabled systems. Besides, I explore how machine learning techniques can accelerate automated reasoning tasks.

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.

Selected publications:

• 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]
• Lightweight Online Learning for Sets of Related Problems in Automated Reasoning [FMCAD’23]
• Efficient Neural Network Analysis with Sum-of-Infeasibilities [TACAS’22]
• All publications