I am a Ph.D. student at University of Texas at Austin, advised by Prof. Swarat Chaudhuri. Prior to that, I received a B.S. in Computer Science from Fudan University in 2019.

My research interests span the areas of formal methods (Automated Reasoning, Program Analysis, Formal Verification) and machine learning (Foundation Model, Machine Learning Systems, Safe AI).

I am also a student researcher at Google, working on machine learning for storage systems with Elliot Li, Martin Maas, and Mustafa Uysal. Before that, I was a research assistant working with Prof. Lili Qiu, focusing on video streaming optimization; a summer analyst at Goldman Sachs, working on high frequency trading protocal verification; a research assistant at Fudan University, advised by Prof. Yang Chen; and a research assistant in Peking University, supervised by Prof. Chenren Xu.

My CV is available here.

Life: 🏊! ♣️! 🎿, 🧗, 🏄, 🤿.