Research overview
My research focuses on safe control and formal guarantees for stochastic systems, especially reach-avoid controller synthesis, reinforcement-learning-aided verifiable control, and post-verification methods based on stochastic barrier-like certificates, PAC approximation, and sum-of-squares optimization.
Education
- M.Eng. in Software Engineering, Southwest University, 2024.09 – 2027.06 (expected).
- B.Eng. in Software Engineering, Southwest University, 2019.09 – 2023.06, GPA 3.95, ranked top 8 out of 124 in degree courses.
Representative projects
- Multi-terminal face-recognition attendance system: uni-app + Spring Boot + MySQL + Python; received the Outstanding Thesis/Design Second Prize.
- Front/back-end separated KTV management system: served as project manager and technical lead during the Chinasoft internship; awarded Outstanding Intern.
Selected honors
- Second Prize, 2024 Huawei Cup China Graduate Mathematical Contest in Modeling.
- Advanced Individual in Academic, Scientific and Technological Innovation, 2024–2025.
- MCM/ICM Honourable Mention, 2020.
- Second Prize, National College Students Mathematics Competition (Chongqing Division), 2021–2022.
Resume preview
