Education
Southwest University · Master's Student in Software Engineering
Full-timeSchool of Computer and Information Science / School of Software. Expected graduation: June 2027. Research focus: learning-aided reach-avoid controller synthesis and formal probabilistic guarantees for nonlinear stochastic dynamical systems.
Southwest University · Bachelor's in Software Engineering
Full-timeDegree GPA: 3.95 / 5.00; degree-required course rank: 8 / 120. Core courses: Data Structures (98), Probability Theory (98), Data Mining (94), and Software Modeling and Design (96).
Research experience
RISE · Trustworthy Software Laboratory, Southwest University
Master's researcherResearch focus: Learning-aided reach-avoid controller synthesis and formal probabilistic guarantees for nonlinear stochastic dynamical systems.
Research project: Participant in the National Natural Science Foundation of China General Program project “Research on Polynomial Algebraic Methods for Safety Verification of Neural Network Control Systems” (Grant No. 62472362, January 2025—December 2028).
Publications
- Published onlineLearning-Aided Reach-Avoid Controller Synthesis with Formal Guarantees for Stochastic Systems
MEMOCODE 2026 (a constituent conference of ESWEEK 2026) · CCF Class C conference · First author · Paper and full text
- SubmittedSafety Guarantees for Nonlinear Systems with Bayesian Neural Network Control Policies
Formal Aspects of Computing · CCF Class B journal · Second author (advisor first)
- SubmittedFormal Reach-Avoid Controller Synthesis for Stochastic Systems via Iterative Neural-Symbolic Learning
CCF Class A conference · Second author (advisor first)
Projects & internship
CBF-Rover: Safe Control for Mobile Robots under Stochastic Disturbances
Independent developerBuilt a reach-avoid control workflow combining RL policy training, dynamics modeling, sparse polynomial approximation, SBC synthesis with SOS / SDP, and certificate-guided controller refinement in Python / MOSEK Fusion. Integrated online CBF action correction and batch trajectory simulation for mobile robots under disturbances and obstacles.
Related first-author work is published at MEMOCODE 2026 (a constituent conference of ESWEEK 2026). Robot closed-loop simulations provide empirical validation; formal probability lower bounds apply to the modeled systems and assumptions in the research.
Multi-Platform Attendance System Using Face Recognition
Undergraduate capstone · Second Prize for Outstanding Undergraduate Thesis (Design)Designed and implemented a multi-platform attendance system using face detection and recognition. It identifies students from camera captures or uploaded images and generates attendance summaries.
Chongqing Chinasoft International · MicFamily: KTV Operations Management System
Project Manager & Technical Manager · Outstanding internCoordinated the team through system development and integration using Vue, Spring Boot, MyBatis-Plus, and MySQL. Received an internship score of 94, with the code published on GitHub.
Honors & awards
- Second Prize, 21st “Huawei Cup” China Post-Graduate Mathematical Contest in Modeling
- Honorable Mention, 2020 Certificate Authority Cup International Mathematical Contest in Modeling
- 2021—2022Second Prize, 13th and 14th National College Student Mathematics Competition, Chongqing Division
- 2019—2022Additional undergraduate honors: Second-Class Scholarship, Merit Student, Spiritual Civilization Award, and Outstanding Communist Youth League Member
- 2024—2025Additional graduate honors: Outstanding Individual in Academic, Scientific, and Technological Innovation and First-Class Graduate Academic Scholarship, Southwest University