教育经历
武汉大学
GPA 3.96 / 4.0
排名 4 / 121
本科 · 计算机科学与技术 · 计算机学院
- 主要课程：高等数学 A1(91)、高等数学 A2(91)、线性代数 A(90)、概率论与数理统计(96)、数据结构(91)、算法设计与分析(95)、计算机网络(97)、机器学习与模式识别(90)、软件工程(94)、量子计算(92)、编译原理(98) 等
北京大学
博士研究生 · 计算机科学与技术 · 计算机学院 · 导师：曹永知教授
大语言模型安全与隐私
人工智能鲁棒性与不确定度
项目
基于统计的类型推理方法研究
国家自然科学基金
- 国家自然科学基金面上项目（No.61872272）
- 对于无法通过编译的代码片段，利用机器学习方法对其进行类型推理，主要负责从序列恢复出类型的部分。
模糊程序语法分析方法研究
独立研究
- 在袁梦霆教授指导下独立完成工作。
- 对于可能包含语法错误的程序代码，利用机器学习的方法，对其中可能含有错误的代码进行容错语法分析并恢复为正确的语法树。
面向课程评估、推荐与讨论的 AI 增强平台
项目经理
- 为武汉大学软件工程课程开发了一个 AI 增强的课程评估、推荐与讨论平台，集成了基于大语言模型的对话接口，以支持自然语言课程查询。
通过形式化全验证的 OpenHarmony LiteOS-M
中关村国家实验室
- 负责工具连接相关工作，实现验证工具 VST 和 OSVAuto 的连接，完成流程集成并支撑工具连接稳定运行，提升自动验证效率。
人工智能数据模型误差来源分析及量化研究
学生负责人
- 从人工智能测试评估角度出发，基于人工智能模型鲁棒性和不确定度方法，系统性研究人工智能模型误差来源，为可靠、可信的人工智能模型提供理论支撑和实践依据。
课程教学
编译原理，助教
武汉大学
- 讲授关于 CMake 使用和 LLVM Kaleidoscope 项目的实验课。
- 设计并实现核心实验。
- 部署基于 Docker 的自动化代码评估平台。
- 监考并批改期末考试。
数理逻辑，助教
北京大学
- 批改并反馈每周作业。
- 监考并批改期末考试。
所获荣誉
全国青少年信息学奥林匹克联赛（NOIP）一等奖
全国大学生程序设计大赛（CCPC）湖北赛区金奖
蓝桥杯全国总决赛 C/C++ 程序设计大学 A 组二等奖
全国高校计算机大赛软件设计天梯赛个人三等奖
CCF 大学生计算机系统与程序设计竞赛全国铜奖
中国大学生计算机设计大赛三等奖
武汉大学优秀学生甲等奖学金
武汉大学雷军计算机奖学金
武汉大学永旺奖学金
武汉大学三好学生
武汉大学优秀学生干部
武汉大学优秀本科毕业生
武汉大学计算机学院优秀共产党员
学生工作
武汉大学英语辩论队队员
2020.09 – 2021.06
武汉大学广播台技术部部长
2021.07 – 2022.06
武汉大学广播台学生副台长（分管节目剪辑、设备运行与维护）
2022.07 – 2023.06
北京大学计算机学院 2024 级软件所团支部组织委员
2024.09 – 2025.06
北京大学计算机学院编程语言与理论博士生团支部书记
2025.06 – 至今
技能
数学
所有数学课程均为满绩（4.0），高等数学 A1(91)、A2(91)、线性代数(90)、概率论与数理统计(96)。
编程
熟悉 C++、Python、MATLAB，了解 PyTorch 深度学习框架，获全国大学生程序设计大赛湖北赛区金奖等奖项。
英语
六级 581 分；曾担任武汉大学英语辩论队队员。