Primary school
小学期间
教育经历
- 河北 石家庄市 长安东路小学，2007 年 9 月 - 2013 年 6 月。
Proof photo
Profile
教育、研究与工程经历。
以当前研究与工程实践为主，按阶段保留教育经历、竞赛记录及相应证明材料。
Graduate stage
研究生期间
西南大学
软件工程硕士
随机系统形式化方法
可验证控制
教育经历
- 西南大学（211 / 双一流）软件工程硕士研究生，计算机与信息科学学院 / 软件学院，2024 年 9 月至今。
- 研究方向：随机控制系统的形式化方法与可验证控制、安全关键系统的控制器合成与安全验证。
学术科研
- 参与国家自然科学基金项目：参与国家自然科学基金面上项目“面向神经网络控制系统安全验证的多项式代数方法研究”，项目编号 62472362，2025.01–2028.12。
- CCF C 类会议论文已接收：Learning-Aided Reach-Avoid Controller Synthesis with Formal Guarantees for Stochastic Systems，MEMOCODE 2026（本人一作）。
- CCF B 类期刊论文在审：Safety Guarantees for Nonlinear Systems with Bayesian Neural Network Control Policies，Formal Aspects of Computing（导师一作，本人二作）。
- CCF A 类会议论文在投：Formal Reach-Avoid Controller Synthesis for Stochastic Systems via Iterative Neural-Symbolic Learning（导师一作，本人二作）。
- 论文准备中：围绕安全控制、强化学习与形式化验证开展后续论文写作，拟投稿。
- 学术训练：在华东师范大学参加 2024 年可信软件国际暑期学校。
比赛情况
- 2024 年 中国研究生创新实践系列大赛—“华为杯”第二十一届中国研究生数学建模竞赛二等奖。
- 2025 年 中国研究生创新实践系列大赛—“华为杯”第二十二届中国研究生数学建模竞赛三等奖。
项目与实践
CBF-Rover：面向移动机器人的障碍证书与安全控制仿真
2025.03 - 至今
移动机器人在线 CBFexact / Gazeboq-SBC（未就绪）
构建移动机器人系统模型、仿真架构与在线 CBF 安全过滤，并在 exact 与 Gazebo 环境中完成闭环仿真和经验验证；固定几何 q-SBC 仍处于未就绪状态。
- 主要工作：系统建模、仿真架构、动态道路在线 CBF 安全过滤、约束值实时计算与可视化，以及 exact / Gazebo 独立经验校验；不把经验闭环结果表述为形式化概率保证。
荣誉奖项
- 2025-2026年度 西南大学 春季学期研究生思想政治理论课社会实践报告比赛 优胜奖。
- 2025年度 西南大学 研究生学业奖学金二等奖。
- 2024-2025年度 西南大学 学术科技创新先进个人。
- 2024年度 西南大学 研究生学业奖学金一等奖学金。
Proof photo
研究生阶段证明
考研故事
2022 年底首次考研时，正值疫情全面放开，临近考试前不久感染新冠，未能如愿考取中山大学。
此后用近一年的时间在全国各地旅行，也在不断反思个人方向与节奏。2023 年 10 月决定再次备考，将目标明确为西南大学软件工程专业，最终以专业综合成绩第一（初试 373，复试 89）的成绩考回母校。
Undergraduate stage
本科期间
西南大学软件工程本科GPA 3.95学位课程排名 8 / 120已获学分 > 160
教育经历
- 西南大学（211 / 双一流）软件工程本科，计算机与信息科学学院 / 软件学院，2019 年 9 月 - 2023 年 6 月。
- 学位课程排名 8 / 120，专业 GPA 3.95。
- 核心课程：数据结构（98 分）、概率论（98 分）、数据挖掘（94 分）、软件建模与设计（96 分）。
- 选修本专业所有专业选修课，知识面较广（已获得学分 > 160 学分）。
个人总结
- 热爱听音乐和思考，喜欢探索事物原理，尤其对计算机专业和新技术感兴趣。
- 积极参加集体活动，与同学、老师关系融洽。
校园经历
- 百度松果菁英班，获优秀结课证书，结课时总积分排名第二。
- 清华社全国高等学校计算机与产业实践资源建设专家委员会（TIPCC）聘请志愿者。
- 沙坪坝区基层服务青年优才（项目宣传策划组组长）校级 2021-2022 年度优秀项目。
- 通过华为云微认证（鲲鹏技能认证，鲲鹏软件性能调优实践）。
- 西南大学计算机与信息科学学院 / 软件学院科研助理。
实训经历
MicFamily：KTV 运营管理系统
项目开发期：2022.06 - 2022.07
VueSpring BootMyBatis-PlusMySQL
重庆中软国际信息技术有限公司 - 项目经理兼技术经理，开发部。
- 实习期：2022.06 - 2022.08；获优秀实习生，学校实习评分 94 分。
- 项目需求：实现资金流、信息流统一管理，实现内部信息通畅及人员管理，减少 KTV 运营成本、建立系统竞争优势。
- 系统实现：浏览器端采用 Vue，服务端采用 Spring Boot、MyBatis-Plus 与 MySQL，静态前端与 HTTP API 统一由 Spring Boot 部署。
荣誉奖项
- 2021 年二等奖学金；2019 年三等奖学金；2019、2021 年三好学生；2019 年精神文明奖。
- 2020 年第九届“认证杯”国际数学建模竞赛 Honorable Mention（荣誉奖）。
- 2021-2022 年第十三届、第十四届全国大学生数学竞赛（重庆赛区）二等奖。
- 2022 年度优秀共青团员。
- 2019-2021 年参加“认证杯”、两次亚太地区大学生数学建模竞赛及全国大学生数学建模竞赛并获奖。
- 2019-2022 年多次参加算法大赛、互联网+、微信小程序大赛等校级比赛并获奖。
项目 / 研究经历
基于人脸识别技术的多端考勤系统
毕业设计
uni-appSpring BootMySQLPython
利用人脸检测与识别技术，通过摄像头拍照或照片上传识别到课学生，并生成出勤简表和阶段性报告。
- 荣誉：2023 届西南大学本科优秀毕业论文（设计）二等奖。
- 项目背景：系统支持多端使用，方便灵活，也能减少考勤作弊行为。
社团和组织经历
- 2019 年 09 月 - 2020 年 05 月，西南大学计算机与信息科学学院 / 软件学院学生会学习科技部干事。
- 负责比赛策划、公众号推文、比赛宣传、海报设计等工作。
个人技能
- 熟悉 Java、Python、C、Spring Boot 等后端技术；熟悉数据库原理，具备 MySQL 开发经验。
- 熟悉 JavaScript、Vue 等前端技术，熟悉 HTML、CSS，有 uni-app、微信小程序等开发经验。
- 英语：CET-4。
Coursework and awards
成绩、竞赛与奖项证明
本科成绩单图片版第一页西南大学学业成绩表（最好成绩）
本科成绩单图片版第二页成绩单续页与学分汇总说明
二等奖学金西南大学 2021-2022 学年度二等奖学金
数学竞赛 2021第十三届全国大学生数学竞赛（非数学类）二等奖
数学竞赛 2022第十四届全国大学生数学竞赛（非数学类）二等奖
2020 年第九届“认证杯”国际数学建模竞赛Honorable Mention（荣誉奖）
Practice evidence
校园、组织、项目与实训证明
High school
高中期间
教育经历
- 河北 衡水市 河北冀州中学，2016 年 9 月 - 2019 年 6 月。
荣誉奖项
- 2018 年 7 月 第十届“全国中学生数理化学科能力展示活动”总评（决赛）中获高二组物理学科能力展示（笔试 + 论文答辩 + 学科信息技术）全国二等奖。
- 2018 年 7 月 第十届“全国中学生数理化学科能力展示活动”总评（决赛）中获创新实践能力展示全国一等奖。
- 2018 年 1 月 第十届“全国中学生数理化学科能力展示活动”解题技能展示中获河北赛区高二年级物理学科一等奖。
- 2018 年 1 月 第十届“全国中学生数理化学科能力展示活动”解题技能展示中获河北赛区高二年级数学学科三等奖。
- 2018 年 1 月 第十届“全国中学生数理化学科能力展示活动”解题技能展示中获河北赛区高二年级化学学科三等奖。
- 2018 年 6 月 第十届“全国中学生数理化学科能力展示活动”建模论文和实验报告评比中获河北省高二数学二等奖。
- 2018 年 6 月 第十届“全国中学生数理化学科能力展示活动”建模论文和实验报告评比中获河北省高二物理二等奖。
- 2018 年 6 月 第十届“全国中学生数理化学科能力展示活动”建模论文和实验报告评比中获河北省高二化学三等奖。
- 2018 年 9 月 15 日，在第三十五届全国中学生物理竞赛中获校级一等奖。
Proof photo
高中阶段证明
Junior high
初中期间
教育经历
- 河北 石家庄市 石家庄第四十四中学，2013 年 9 月 - 2016 年 6 月。
荣誉奖项
- 2015 年 1 月 第七届全国中学生数理化学科能力解题技能展示活动中获河北省八年级数学学科三等奖。
- 2014 年 6 月 第二十五届希望杯全国数学邀请赛中获初中七年级三等奖（铜牌）。
Proof photo
