教育经历Education
武汉大学
Wuhan University
GPA 3.96 / 4.0
排名Rank 4 / 121
本科 · 计算机科学与技术 · 计算机学院
BS in Computer Science · School of Computer Science
- 主要课程：高等数学 A1(91)、高等数学 A2(91)、线性代数 A(90)、概率论与数理统计(96)、数据结构(91)、算法设计与分析(95)、计算机网络(97)、机器学习与模式识别(90)、软件工程(94)、量子计算(92)、编译原理(98) 等
- Coursework: Advanced Mathematics A1(91), A2(91), Linear Algebra A(90), Probability Theory and Statistics(96), Data Structure(91), Algorithms(95), Computer Networks(97), Machine Learning and Pattern Recognition(90), Software Engineering(94), Quantum Computing(92), Principles of Compilers(98), et al.
北京大学
Peking University
博士研究生 · 计算机科学与技术 · 计算机学院 · 导师：曹永知教授
Ph.D. in Computer Science · School of Computer Science · Supervised by Prof. Yongzhi Cao
大语言模型安全与隐私LLM Security & Privacy
人工智能鲁棒性与不确定度AI Robustness & Uncertainty
项目Projects
基于统计的类型推理方法研究
Research on Statistical Approaches to Type Inference
国家自然科学基金NSFC
- 国家自然科学基金面上项目（No.61872272）
- Supported by the Natural Science Foundation of China (No.61872272)
- 对于无法通过编译的代码片段，利用机器学习方法对其进行类型推理，主要负责从序列恢复出类型的部分。
- Developed machine learning models for type inference on non-compilable code snippets, with a primary focus on recovering variable types from code sequences.
模糊程序语法分析方法研究
Research on the Syntax Analysis Method of Fuzzy Program
独立研究Independent Research
- 在袁梦霆教授指导下独立完成工作。
- Led the project under the supervision of Prof. Mengting Yuan.
- 对于可能包含语法错误的程序代码，利用机器学习的方法，对其中可能含有错误的代码进行容错语法分析并恢复为正确的语法树。
- Designed and implemented a machine learning approach for fault-tolerant syntax analysis and abstract syntax tree reconstruction from potentially erroneous program code.
面向课程评估、推荐与讨论的 AI 增强平台
An AI-Enhanced Platform for Course Evaluation and Discussion
项目经理Product Manager
- 为武汉大学软件工程课程开发了一个 AI 增强的课程评估、推荐与讨论平台，集成了基于大语言模型的对话接口，以支持自然语言课程查询。
- Developed an AI-enhanced course evaluation and discussion forum for Wuhan University's Software Engineering course, featuring a GPT-based conversational interface for natural language course queries.
通过形式化全验证的 OpenHarmony LiteOS-M
Fully Formally Verified OpenHarmony LiteOS-M
中关村国家实验室ZGC Lab
- 负责工具连接相关工作，实现验证工具 VST 和 OSVAuto 的连接，完成流程集成并支撑工具连接稳定运行，提升自动验证效率。
- Integrated VST and OSVAuto verification tools, completed workflow integration, and supported stable toolchain operation to improve automated verification efficiency.
人工智能数据模型误差来源分析及量化研究
Analysis and Quantification of Error Sources in AI Data Models
学生负责人Product Manager
- 从人工智能测试评估角度出发，基于人工智能模型鲁棒性和不确定度方法，系统性研究人工智能模型误差来源，为可靠、可信的人工智能模型提供理论支撑和实践依据。
- Investigated AI model error sources from a testing and evaluation perspective using robustness and uncertainty quantification methods, supporting reliable and trustworthy AI development.
课程教学Teaching Experience
编译原理，助教
Principles of Compilers, Teaching Assistant
武汉大学
Wuhan University
- 讲授关于 CMake 使用和 LLVM Kaleidoscope 项目的实验课。
- Delivered lab tutorials on CMake usage and LLVM Kaleidoscope project.
- 设计并实现核心实验。
- Designed and implemented core experiments.
- 部署基于 Docker 的自动化代码评估平台。
- Deployed Docker-based automatic code evaluation platform.
- 监考并批改期末考试。
- Proctored and graded final examinations.
数理逻辑，助教
Mathematical Logic, Teaching Assistant
北京大学
Peking University
- 批改并反馈每周作业。
- Graded regular assignments and provided feedback to students.
- 监考并批改期末考试。
- Proctored and graded final examinations.
所获荣誉Honors and Awards
全国青少年信息学奥林匹克联赛（NOIP）一等奖
First Prize, National Olympiad in Informatics in Provinces (NOIP)
全国大学生程序设计大赛（CCPC）湖北赛区金奖
Gold Medal, China Collegiate Programming Contest – Hubei Provincial Contest
蓝桥杯全国总决赛 C/C++ 程序设计大学 A 组二等奖
Second Prize, National Finals, Lanqiao Cup (C/C++, Group A)
全国高校计算机大赛软件设计天梯赛个人二等奖
Second Prize (Individual), Group Programming Ladder Tournament, National College Computer Competition
CCF 大学生计算机系统与程序设计竞赛全国铜奖
Bronze Award (National), CCF Collegiate Computer Systems & Programming Contest
中国大学生计算机设计大赛三等奖
Third Prize, National College Computer Design Contest
武汉大学优秀学生甲等奖学金
First-Class Scholarship for Outstanding Students, Wuhan University
武汉大学雷军计算机奖学金
Lei Jun Scholarship, Wuhan University
武汉大学永旺奖学金
AEON Scholarship, Wuhan University
武汉大学三好学生
Outstanding Student, Wuhan University
武汉大学优秀学生干部
Outstanding Student Leader, Wuhan University
武汉大学优秀本科毕业生
Excellent Graduate, Wuhan University
武汉大学计算机学院优秀共产党员
Outstanding CPC Member, School of Computer Science, Wuhan University
学生工作Student Leadership
武汉大学英语辩论队队员
Member of Wuhan University English Debate Team
2020.09 – 2021.06
Sep 2020 – Jun 2021
武汉大学广播台技术部部长
Head of Technical Department, Wuhan University Radio Station
2021.07 – 2022.06
Jul 2021 – Jun 2022
武汉大学广播台学生副台长（分管节目剪辑、设备运行与维护）
Deputy Director of Wuhan University Radio Station
2022.07 – 2023.06
Jul 2022 – Jun 2023
北京大学计算机学院 2024 级软件所团支部组织委员
Organization Committee Member, 2024 Youth League Branch, Institute of Software, School of Computer Science, Peking University
2024.09 – 2025.06
Sep 2024 – Jun 2025
北京大学计算机学院编程语言与理论博士生团支部书记
Secretary, Programming Languages and Theory Ph.D. Youth League Branch, School of Computer Science, Peking University
2025.06 – 至今
Jun 2025 – Present
技能Skills
数学Mathematics
所有数学课程均为满绩（4.0），高等数学 A1(91)、A2(91)、线性代数(90)、概率论与数理统计(96)。
Achieved a perfect GPA (4.0/4.0) in all mathematics courses, including Advanced Mathematics, Linear Algebra, and Probability Theory and Mathematical Statistics.
编程Programming
熟悉 C++、Python、MATLAB，了解 PyTorch 深度学习框架，获全国大学生程序设计大赛湖北赛区金奖等奖项。
Proficient in C++, Python, and MATLAB; familiar with the PyTorch framework; recipient of the Gold Medal in China Collegiate Programming Contest – Hubei Provincial Contest.
英语English
六级 581 分；曾担任武汉大学英语辩论队队员。
CET-6: 581; former member of the Wuhan University English Debate Team.