Profile

个人档案与经历

这一页按时间整理我的学习、竞赛、项目、组织经历和证明材料。研究生、本科、高中、初中和小学阶段都保留在这里,本科部分也按原有内容完整展开,没有再删减。

闫士博照片

闫士博 / ShiBo Yan

2001 年 1 月生,男,河北石家庄,现居重庆

15603111769 y423314860@163.com royal-y-3425

当前概览

  • 学校西南大学软件工程硕士研究生
  • 方向随机控制系统的形式化方法与可验证控制、安全关键系统的控制器合成与安全验证
  • 主页yan-shibo.github.io
  • GitHubYan-ShiBo
At a glance

这里保留什么内容

  • 研究生阶段保留教育背景、比赛、荣誉和考研经历。
  • 本科阶段保留教育经历、荣誉奖项、校园经历、实训经历、项目经历、组织经历、技能和个人总结。
  • 高中、初中、小学阶段继续保留原来的教育与获奖轨迹。
Graduate stage

研究生期间

2024.09 - 至今
西南大学软件工程硕士随机系统形式化方法可验证控制

教育经历

  • 西南大学(211 / 双一流)软件工程硕士研究生,计算机与信息科学学院 / 软件学院,2024 年 9 月至今。
  • 研究方向:随机控制系统的形式化方法与可验证控制、安全关键系统的控制器合成与安全验证。

比赛情况

  • 2024 年 中国研究生创新实践系列大赛—“华为杯”第二十一届中国研究生数学建模竞赛二等奖。
  • 2025 年 中国研究生创新实践系列大赛—“华为杯”第二十二届中国研究生数学建模竞赛三等奖。

荣誉奖项

  • 2024-2025 学年学术科技创新先进个人。

考研故事

2022 年底首次考研时,正值疫情全面放开,临近考试前不久感染新冠,未能如愿考取中山大学。

此后用近一年的时间在全国各地旅行,也在不断反思个人方向与节奏。2023 年 10 月决定再次备考,将目标明确为西南大学软件工程专业,最终以专业综合成绩第一(初试 373,复试 89)的成绩考回母校。

Proof photo

研究生阶段证明

Undergraduate stage

本科期间

2019.09 - 2023.06
西南大学软件工程本科GPA 3.95学位课程排名前八已获学分 > 160

教育经历

  • 西南大学(211 / 双一流)软件工程本科,计算机与信息科学学院 / 软件学院,2019 年 9 月 - 2023 年 6 月。
  • 学位课程排名前八(共 124 人),专业 GPA 3.95。
  • 核心课程:数据结构(98 分)、概率论(98 分)、数据挖掘(94 分)、软件建模与设计(96 分)。
  • 选修本专业所有专业选修课,知识面较广(已获得学分 > 160 学分)。

荣誉奖项

  • 2021 年二等奖学金;2019 年三等奖学金;2019、2021 年三好学生;2019 年精神文明奖。
  • 2020 年小美赛 Honourable Mention(二等奖)。
  • 2021-2022 年第十三届、第十四届全国大学生数学竞赛(重庆赛区)二等奖。
  • 2022 年度优秀共青团员。
  • 2019-2021 年多次参加美赛建模、两次亚太建模、国赛建模并获奖。
  • 2019-2022 年多次参加算法大赛、互联网+、微信小程序大赛等校级比赛并获奖。

校园经历

  • 百度松果菁英班,获优秀结课证书,结课时总积分排名第二。
  • 清华社全国高等学校计算机与产业实践资源建设专家委员会(TIPCC)聘请志愿者。
  • 沙坪坝区基层服务青年优才(项目宣传策划组组长)校级 2021-2022 年度优秀项目。
  • 通过华为云微认证(鲲鹏技能认证,鲲鹏软件性能调优实践)。
  • 西南大学计算机与信息科学学院 / 软件学院科研助理。

实训经历

  • 重庆中软国际信息技术有限公司 - 项目经理兼技术经理,开发部,2022 年 6 月 - 2022 年 7 月。
  • 荣誉:优秀实习生;学校实习评分 94 分。
  • 项目名称:前后端分离的 KTV 管理系统。
  • 项目需求:实现资金流、信息流统一管理,实现内部信息通畅及人员管理,减少 KTV 运营成本、建立系统竞争优势。
  • 使用技术:HTML/CSS、JavaScript、Java、Spring Boot、MySQL、Axios。

项目 / 研究经历

  • 毕业设计:基于人脸识别技术的多端考勤系统。
  • 荣誉:2023 届西南大学本科优秀毕业论文(设计)二等奖。
  • 项目背景:系统利用人脸检测与识别技术,通过摄像头拍照或照片上传识别到课学生,并生成出勤简表和阶段性报告;系统支持多端使用,方便灵活,也能减少考勤作弊行为。
  • 使用技术:uni-app、Spring Boot、MySQL、Python。

社团和组织经历

  • 2019 年 09 月 - 2020 年 05 月,西南大学计算机与信息科学学院 / 软件学院学生会学习科技部干事。
  • 负责比赛策划、公众号推文、比赛宣传、海报设计等工作。

个人技能

  • 熟悉 Java、Python、C、Spring Boot 等后端技术;熟悉数据库原理,具备 MySQL 开发经验。
  • 熟悉 JavaScript、Vue 等前端技术,熟悉 HTML、CSS,有 uni-app、微信小程序等开发经验。
  • 英语:CET-4。

个人总结

  • 热爱听音乐和思考,喜欢探索事物原理,尤其对计算机专业和新技术感兴趣。
  • 积极参加集体活动,与同学、老师关系融洽。
Coursework and awards

成绩、竞赛与奖项证明

Practice evidence

校园、组织、项目与实训证明

High school

高中期间

2016.09 - 2019.06

教育经历

  • 河北 衡水市 河北冀中中学,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.09 - 2016.06

教育经历

  • 河北 石家庄市 石家庄第四十四中学,2013 年 9 月 - 2016 年 6 月。

荣誉奖项

  • 2015 年 1 月 第七届全国中学生数理化学科能力解题技能展示活动中获河北省八年级数学学科三等奖。
  • 2014 年 6 月 第二十五届希望杯全国数学邀请赛中获初中七年级三等奖(铜牌)。
Proof photo

初中期间展示图片