About me

I will join Department of Computer Science and Engineering at University of California, Riverside (CSE@UCR) as an Assistant Professor. I am looking for motivated students to join my group (including PhD students to start in 2025~2026).

I am currently a final-year Ph.D. Candidate at UCLA Computer Science Department, advised by Prof. Cho-Jui Hsieh. Prior to UCLA, I received my B.Eng. degree from the CST department at Tsinghua University.

My primary research focus is on trustworthy machine learning, and I am broadly interested in developing more trustworthy and reliable AI models. In particular, I work on verifiable machine learning, with topics such as formal verification for neural networks, training verification-friendly neural networks with stronger verifiable guarantees, applications of verifiable machine learning in mission-critical scenarios, and more recently, verification for generative AI. Additionally, I also study empirical methods for evaluating and improving the robustness or safety of large-scale ML foundation models.