About Me

I’m a second-year Computer Science PhD student at the University of Southern California (USC), advised by Prof. Chao Wang.

My research interests lie in developing abstract interpretation-based frameworks to improve the safety and reliability of software.

Prior to USC, I received my B.S. in Computer Science with a minor in Mathematics from UC Davis, where I was advised by Prof. Aditya V. Thakur.