Education
教育经历
2024.09—至今
西南大学 · 软件工程硕士研究生
全日制计算机与信息科学学院 软件学院，预计 2027 年 6 月毕业。研究方向：面向非线性随机动力系统，研究学习辅助的可达—规避控制器合成与形式化概率保证。
2019.09—2023.06
西南大学 · 软件工程本科
全日制学位平均分绩点 3.95 / 5.00，学位课程排名 8 / 120。核心课程：数据结构 98、概率论 98、数据挖掘 94、软件建模与设计 96。
Research
科研经历
2024.09—至今
西南大学软件研究与创新中心 · 可信软件实验室
硕士研究生研究方向：面向非线性随机动力系统，研究学习辅助的可达—规避控制器合成与形式化概率保证。
科研项目：参与国家自然科学基金面上项目“面向神经网络控制系统安全验证的多项式代数方法研究”（项目编号：62472362，2025.01—2028.12）。
论文
- 已在线发表Learning-Aided Reach-Avoid Controller Synthesis with Formal Guarantees for Stochastic Systems
MEMOCODE 2026（ESWEEK 2026 会议周组成会议） · CCF C 类会议 · 第一作者 · 论文与原文
- 在投Safety Guarantees for Nonlinear Systems with Bayesian Neural Network Control Policies
Formal Aspects of Computing · CCF B 类期刊 · 第二作者（导师第一作者）
- 在投Formal Reach-Avoid Controller Synthesis for Stochastic Systems via Iterative Neural-Symbolic Learning
CCF A 类会议 · 第二作者（导师第一作者）
Projects & Internship
项目与实习经历
2025.03—2026.07
CBF-Rover：随机扰动下移动机器人安全控制系统
独立开发面向随机扰动与障碍环境中的可达—规避任务，负责强化学习策略训练、动力学建模、稀疏多项式近似、SBC 与 SOS / SDP 求解及证书反馈优化；使用 Python / MOSEK Fusion 开展批量轨迹仿真，集成在线 CBF 动作修正。
相关一作论文已在 MEMOCODE 2026（ESWEEK 2026 会议周组成会议） 发表。机器人闭环仿真提供经验验证，形式化概率下界对应研究中的建模系统与假设。
2022.12—2023.06
基于人脸识别的多端考勤系统
本科毕业设计 · 校优秀毕业论文二等奖设计并实现基于人脸检测与识别的多端考勤系统，通过拍照或图片上传识别到课学生，并生成出勤简表。
2022.06—2022.08
重庆中软国际信息技术有限公司 · MicFamily：KTV 运营管理系统
项目经理兼技术经理 · 优秀实习生协调团队完成系统开发与联调，采用 Vue、Spring Boot、MyBatis-Plus 与 MySQL；实习评分 94 分，代码开源于 GitHub。
Honors
荣誉奖项
- “华为杯”第二十一届中国研究生数学建模竞赛二等奖
- 第九届“认证杯”国际数学建模竞赛（小美赛）Honorable Mention（荣誉奖）
- 2021—2022第十三、十四届全国大学生数学竞赛（重庆赛区）二等奖
- 2019—2022本科期间其他荣誉：本科二等奖学金、三好学生、精神文明奖、优秀共青团员
- 2024—2025研究生期间其他荣誉：西南大学学术科技创新先进个人、研究生学业奖学金一等奖
Organizations & Practice
组织与实践经历
2022.05—2024.05
清华社全国高等学校计算机与产业实践资源建设专家委员会（TIPCC）
聘请志愿者2021.09—2022.08
沙坪坝区基层服务青年优才
宣传策划组组长 · 校级 2021—2022 年度优秀项目2019.09—2020.05
计算机与信息科学学院 软件学院学生会
学习科技部 · 干事2023.09—2024.07
西南大学计算机与信息科学学院 软件学院
科研助理2021.09—2022.12