About me

I am a final-year Ph.D. Candidate at UCLA Computer Science Department, advised by Prof. Cho-Jui Hsieh, and my primary research focus is on trustworthy machine learning. Before that, I received my B.Eng. degree from the CST department at Tsinghua University where I worked with Prof. Minlie Huang on natural language processing.

I am on the 2024-2025 job market.

Research

• Formal Verification for ML: General and scalable approaches to formally verifying NNs across diverse NN architectures and verification specifications, enabling automatic verification in broad ML applications for obtaining high quality verifiable guarantees.

• Training Verifiably Robust and Safe ML Models: Verification-aware NN training methods to efficiently train NNs which are easier to verify and achieve stronger verified guarantees in practical applications.

• Provably Safe NN-based Control Systems: Provably safe NN-based control systems with verification and verification-aware training.

• Empirical Robustness Evaluation and Defense for ML Foundation Models: Evaluating and enhancing the robustness of large-scale ML foundation models.