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 · 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—至今
CBF-Rover：基于障碍证书的移动机器人安全控制仿真
独立开发面向随机扰动与动态障碍场景，负责系统建模、顶层架构与安全约束设计，并实现基于控制障碍函数（CBF）的在线安全过滤；当前在 exact 与 Gazebo 环境中完成闭环经验验证，固定几何 q-SBC 仍处于未就绪状态。
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.06—2024.06
西南大学计算机与信息科学学院 软件学院
科研助理2021.09—2022.12