研究概况
我主要关注随机系统的安全控制与形式化保证，重点研究 reach-avoid 约束下的控制器综合、 强化学习辅助的可验证控制策略设计，以及基于随机 barrier-like certificates、PAC 近似与 SOS 优化的后验证方法。
教育背景
- 西南大学 软件工程硕士研究生，2024.09 – 2027.06（预计）。
- 西南大学 软件工程本科，2019.09 – 2023.06，GPA 3.95，学位课程排名前 8 / 124。
代表项目
- 多端人脸识别考勤系统：uni-app + Spring Boot + MySQL + Python，获优秀毕业论文（设计）二等奖。
- 前后端分离 KTV 管理系统：在重庆中软国际实训中担任项目经理兼技术经理，获优秀实习生。
代表荣誉
- 2024 华为杯中国研究生数学建模竞赛二等奖。
- 2024—2025 学年学术科技创新先进个人。
- 2020 MCM/ICM Honourable Mention。
- 2021—2022 全国大学生数学竞赛（重庆赛区）二等奖。
简历预览图
