个人概况
我目前在西南大学攻读软件工程硕士。现在的研究重点是随机系统中的 reach-avoid 控制，希望把学习得到的控制器、可求证近似和概率保证组织成一条可以持续迭代的方法链。
教育经历
研究生
- 西南大学，软件工程硕士研究生，2024.09 - 至今。
- 研究方向：随机系统、概率保证、reach-avoid 控制与形式化验证。
- 近两年主要围绕控制器学习、PAC 近似和随机障碍证书展开。
本科
- 西南大学，软件工程本科，2019.09 - 2023.06。
- 学位课程 GPA 3.95；已获学分 169。
- 核心课程：数据结构 98、概率论与数理统计 98、软件建模与设计 96、数据挖掘与数据仓库 94。
研究重点
- 研究问题：随机动力系统上的 infinite-horizon reach-avoid 控制。
- 方法主线：SAC 参考控制器 → PAC 多项式近似 → SBC / SOS / SDP 概率下界求解 → 迭代更新。
- 更关心的是学习、近似、求证和后续更新怎样真正接起来。
项目与实践
本科毕业设计
- 基于人脸识别技术的多端考勤系统。
- 技术：uni-app、Spring Boot、MySQL、Python。
- 成果：获 2023 届西南大学本科优秀毕业论文（设计）二等奖。
- 仓库：PersevereStudy
中软国际实训
- 前后端分离的 KTV 管理系统。
- 角色：项目经理兼技术经理。
- 技术：Vue / jQuery / Bootstrap / Spring Boot / MySQL / Java 1.8。
- 仓库：MicFamily
