I obtained my PhD in Computer Science from the University of California Santa Barbara in 2025, with my thesis focusing on quantitative verification and testing of neural networks in the Verification Lab led by Dr. Tevfik Bultan. Prior to my graduate studies at UCSB I received my Bachelor's degree in Computer Science from Harvey Mudd College in 2020.

My broad research interests are in applying software verification techniques to quantitatively evaluate artificial intelligence systems; these techniques include symbolic execution, fuzzing, and other forms of automated testing to quantify errors in AI systems.