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.

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

Selected publications:

• 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]
• Learning to Generate SAT Formulas [NeurIPS’19]
• All publications