Summary

Profile

I am currently pursuing my M.Eng. in Software Engineering at Southwest University. My recent work focuses on reach-avoid control for stochastic systems, with an emphasis on connecting learning, verifiable approximation, probabilistic guarantees, and further iteration into one coherent pipeline.

Education

Graduate study

Southwest University, M.Eng. in Software Engineering, Sep 2024 – present.
Focus: stochastic systems, probabilistic guarantees, reach-avoid control, and formal verification.
Recent work centers on controller learning, PAC approximation, and stochastic barrier certificates.

Undergraduate study

Southwest University, B.Eng. in Software Engineering, Sep 2019 – Jun 2023.
Degree-course GPA 3.95 with 169 earned credits.
Representative courses: Data Structure 98, Probability and Statistics 98, Software Modeling and Design 96, Data Mining & Data Warehouse 94.

Research

Research focus

Problem: infinite-horizon reach-avoid control for stochastic dynamical systems.
Pipeline: SAC reference controller → PAC polynomial approximation → SBC / SOS / SDP probability certification → further iteration.
The main concern is how learning, approximation, certification, and update decisions can be connected into one usable workflow.

Projects

Projects and practice

Undergraduate thesis project

Multi-terminal attendance system based on face recognition.
Tech stack: uni-app, Spring Boot, MySQL, Python.
Outcome: Second Prize for Outstanding Undergraduate Thesis/Design at Southwest University.
Repository: PersevereStudy