About
I’m currently a Ph.D. student in the Department of Electrical and Computer Engineering (ECE) at Purdue University, advised by Prof. Jingbo Wang.
Before I joined Purdue in Fall 2024, I obtained my MSc from Hong Kong University of Science and Technology (HKUST) in 2024 and my B.S from Huazhong University of Science and Technology (HUST) in 2023.
My research interest widely sits at Software Engineering and Formal Methods. In particular, my vision is to help developers build reliable and efficient systems with better development experience. Currently, I’m interested in how we can improve the reliability and auditability of AI-written software.
News
- Our paper about conflcit extraction in probabilistic Datalog was accepted to ASE 2026.
Publications
Teaching
Teaching Assistant, Purdue University
- ECE 26400, Advanced C Programming, Spring 2026
- ECE 59500, Applied Algorithm, Fall 2025
Service
Service
- Artifact Evaluation: TACAS 2025