I am an Assistant Professor at Department of Computer Science and Engineering, University of California, Riverside. I completed Ph.D. at UCLA Computer Science Department in 2025, advised by Prof. Cho-Jui Hsieh. I received my B.Eng. degree from the CST department at Tsinghua University in 2020.
My research focus is on machine learning (ML), especially developing more trustworthy and reliable AI models. Recently, I have been working on formal methods for AI, trustworthy AI, and LLM post-training.
Group
PhD students
Prospective Students: I am looking for motivated students to join my group. See this page for details.
Awards
- NVIDIA Academic Grant Program Award, 2025
- UCLA Dissertation Year Award (fellowship), 2024-2025
- Amazon Fellowship (Amazon & UCLA Science Hub fellowship), 2022-2023
- 4X first-place winner at the International Verification of Neural Networks Competition (VNN-COMP), 2021-2024