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
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
- AcceptedLearning-Aided Reach-Avoid Controller Synthesis with Formal Guarantees for Stochastic Systems
MEMOCODE 2026 · CCF Class C conference · First author
- Under reviewSafety 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: Barrier-Certificate-Based Safe-Control Simulation for Mobile Robots
Independent developerFor scenarios with stochastic disturbances and dynamic obstacles, I designed the system model, top-level architecture, and safety constraints and implemented online control-barrier-function (CBF) filtering. Closed-loop empirical validation is complete in exact and Gazebo environments; the fixed-geometry q-SBC remains not ready.
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