教学工作

讲授课程

北京大学：
- 程序设计技术与方法，数学学院本科生课程（本研合上），2017-2021每学年春季学期（讲授内容Software Reliability Methods），2021-2026每学年秋季学期（讲授内容Constraint Programming），课程主页在这里
- 程序设计语言原理，数学学院研究生课程（研本合上，隔年开设），2022-2023、2024-2025学年春季学期，课程主页在这里
- 论文写作指导，数学学院研究生课程，2019-2025每学年春季学期，课程主页在这里
- 区块链原理、方法与应用，数学学院研究生课程（研本合上，隔年开设），2023-2024学年春季学期，课程主页在这里
- 数据结构与算法（B），全校本科生必修课程，2021-2022学年春季学期
- 数据结构（Python语言），数学学院本科生课程，2015-2017及2018-2020每年秋季学期，课程主页在这里
- 软件形式化方法（讲授内容Model Checking），数学学院研究生课程（本科生可选），2015-2018每年春季学期（课程介绍）
- 数据结构（C语言），数学学院本科生课程，2010-2014每年及2017-2018学年秋季学期，课程主页在这里
- 集合论与图论，数学学院本科生课程，2012-2013学年春季学期，课程主页在这里
- 软件理论与方法选讲（讲授内容Algebraic and Coalgebraic Specifications），数学学院研究生课程，2010-2012每年春季学期
其他：
- 数据结构与高级算法，国防大学研究生课程，2024年秋季
- A Tutorial on Model Checking，日本广岛国立大学暑期课（线上，英文授课），2021年7月
- A Tutorial on Constraint Programming，日本广岛国立大学暑期课（线上，英文授课），2021年7月
- 区块链形式化验证，金融科技公益公开课（线上），2020年8月
- Connectors as Designs: Modeling, Refinement and Test Case Generation. SYANCO International Winter School, Berlin, Germany, 2010年2月
- Requirement Engineering，荷兰莱顿大学本科生课程（英文授课），2008-2009学年秋季学期
- Integrating Quality Aspects in Coordination for Service Oriented Computing, IPA Spring School on Service-oriented Computing, Heeze, the Netherlands, 2007年4月
- Coordination and Composition，荷兰莱顿大学研究生课程（英文授课，与Farhad Arbab教授共同讲授），2007-2008学年春季学期

回到顶部

讨论班

软件理论讨论班，每学期开设，研究生、本科生均可参加。
低年级研究生及高年级本科生讨论班，专著阅读及报告，2013-2020学年每学期，2020年之后不定期开设：

2023年秋季低年级研究生及高年级本科生讨论班内容：“Introduction to Static Analysis”, Xavier Rival & Kwangkeun Yi著。
2019年秋季及2020年春季低年级研究生及高年级本科生讨论班内容：“Formal Methods: An Appetizer”, Flemming Nielson & Hanne Riis Nielson著。
2018年秋季及2019年春季低年级研究生及高年级本科生讨论班内容：“Introduction to Embedded Systems: A Cyber-Physical Systems Approach”, Edward Ashford Lee & Sanjit Arunkumar Seshia著。
2017年秋季及2018年春季低年级研究生及高年级本科生讨论班内容："Introduction to Discrete Event Systems"，Christos G. Cassandras & Stephane Lafortune著。
2017年春季低年级研究生及高年级本科生讨论班内容：“The Theory and Practice of Concurrency”， A. W. Roscoe著。
2016年秋季低年级研究生及高年级本科生讨论班内容：“Principles of Cyber-Physical Systems”. Rajeev Alur著。
2016年春季低年级研究生及高年级本科生讨论班内容：“Communication and Concurrency”, R. Milner著。
2015年秋季低年级研究生及高年级本科生讨论班内容：“Principles of Constraint Programming”，K. Apt著。
2014年秋季及2015年春季讨论班内容：“Principles of Model Checking”，C. Baier & J. P. Katoen著。
2014年春季讨论班内容：“Concurrency Theory: Calculi and Automata for Modeling Untimed and Timed Concurrent Systems”，H. Bowman & R. Gomez著。
2013年秋季讨论班内容：“Communicating Sequential Processes” ， C. A. R. Hoare著。

FM meets AI，数学学院本科生3+X讨论班，2024-2025学年秋季学期、2024-2025学年春季学期
可信智能软件，数学学院本科生3+X讨论班，2021-2022学年秋季学期
AI理论讨论班，数学学院本科生3+X讨论班，2018-2019学年春季学期，课程主页在这里
低年级讨论班(信息)，数学学院本科生课程，2010-2011学年春季学期

回到顶部

研究生招生

我每年招收博士生不超过2人（一般每年 1 人），含本科保送直博、申请审核制（已取得硕士学位或入学当年硕士毕业）两种形式，如果你对程序理论、软件形式化方法、人工智能、深度学习、信息物理融合系统、区块链、信息安全、量子计算等领域感兴趣，希望从事相关的研究工作，并且具有很好的计算机科学 / 数学基础，欢迎申请加入我的课题组，建议申请前提前至少一年和我联系确认是否仍有招生名额。
下列信息是比较重要的加分项（重要程度1 ≈ 2 ≈ 3 >> 4 >> 高绩点、除4之外的其他学科竞赛获奖、以及学生工作等常见申请材料中所提供内容 ≈ ε），如有相关经历会更加有助于你的申请，请在提交申请材料时重点强调：
1. 在上述领域相关研究方向的研究经历，发表、录用或已完成投稿的高水平论文（中英文均可）或发明专利，需在其中有主要贡献，在理论框架、技术细节、算法思路、实验结果等方面能够经受考核；
2. 通过选修程序理论、形式化方法等方向相关课程、参加暑期学校或线上课程及阅读相关专著、论文的学习经历对上述领域中的某个研究方向有系统深入的了解和思考，需在个人陈述中进行详细说明；
3. 独立开发的较大规模系统或应用软件（代码量5000行以上，需提供源代码或开源链接，如有软件著作权证明可同时提供）；
4. 参加ACM ICPC（国际大学生程序设计竞赛）、CCPC（中国大学生程序设计竞赛）、阿里天池竞赛、华为软件精英挑战赛等各类程序设计竞赛的获奖经历。
希望加入我课题组的同学请在正式申请前先和我联系确认是否仍有招生计划，建议在联系我之前先深入了解我的研究方向，更多内容可见这里关于研究生招生的介绍和要求。
指导大数据专业硕士每年不超过3人，可确定录取后和我联系。
联系方式：
- Email至sunmeng x math.pku.edu.cn[@/x]，请在邮件中提供个人简历，并说明你是否对我的方向已有足够深入了解，从事过哪些相关研究，是否有相关论文发表或投稿（你在其中有何贡献），读过哪些除教材之外的论文或专业书籍（可参考这里所列的书单），若你提供的材料足以证明你的研究潜力和与我研究方向的相关性，我会在7个工作日之内回复邮件。

回到顶部

本科生科研

欢迎对程序理论、软件形式化方法、人工智能、深度学习、信息物理融合系统、区块链、信息安全、量子计算等领域感兴趣且学有余力，愿意从事相关研究工作的低年级本科生同学和我联系，参加我的讨论班及课题组研究活动。本科期间由我指导过本研且表现出色的同学在直博推免到本课题组时将予以优先考虑，或提供出国及到其他国内高校或科研院所读研的推荐。
2024-2025年部分本科生科研可选课题如下：
- 大语言模型的可信性（安全性、鲁棒性、公平性、可解释性......）
- 基于大语言模型和深度学习的定理证明自动化技术
- 基于模型表征的大语言模型修复技术
- 深度学习系统的形式化模型构建与合成
- 深度学习系统测试理论与方法（基于模型的测试、基于性质的测试、变异测试、蜕变测试.....）
- 深度学习系统形式化验证技术（模型检查、抽象解释、SMT求解......）
- 区块链共识协议与智能合约功能正确性、安全性的形式化建模与验证（定理证明、模型检查、SMT求解）
- 区块链智能合约规约语言设计
- 信息物理系统复杂交互行为的统计模型检查方法
- 基于深度学习的模型检查反例生成方法
- 概率实时系统 / 信息物理系统 / 量子系统的余代数模型和余归纳推理方法
- Mediator建模语言的混成扩展及相关工具实现
要求：
- 对课题相关领域感兴趣且具有较高的科研热情，做事认真负责，具有创新精神和独立工作能力且愿意与他人合作，英语读写能力强，有较好的编程能力；
- 对自己的时间能够有很好的规划安排，需在学有余力的情况下参与项目工作，学期中至少需保证每周8-10小时用于项目工作的时间（每周参加课题组讨论班，阅读文献，编程实现及论文写作），假期至少保证1/2的时间用于项目工作。
注意：

不论是本研还是保研，你的绩点都并非我考虑的主要因素，我更看重的是学生的兴趣和态度，以及从事科研工作的潜力，如果你能够很好地规划时间安排，完全可以把科研工作和课程学习两者都做好，但因为参加本研需投入较多的时间和精力（只是跟着听听讨论班基本上没有什么意义），如果你的兴趣不在我的研究方向上请联系其他老师，以免浪费你和我的时间；
部分课题的研究需要一定的知识储备，可能你在从事课题研究之前，需要先选修一些相关课程并阅读部分我推荐的文献，但不需太过担心这一点，很多研究需要的知识都是在研究的过程中学习获取的；
学校官方的本研项目对申请人绩点有一定的要求（比如有些项目要求申请人绩点不低于3.3），如果你未达到这一要求但对本人研究感兴趣且愿意投入时间精力从事相关研究，也可以直接联系我，加入我的课题组从事本研工作，虽然无法受上述项目资助，但从事研究的相关费用（文献资料费、论文发表版面费、会议注册费、差旅费等）可受本人科研项目经费支持，且灵活度相对更高。

报名方式：
- 通过email至sunmeng x math.pku.edu.cn[@/x]报名，提供个人基本信息（姓名、学号、联系方式等），是否对我的方向已有所了解，读过哪些论文或专业书籍（除教材之外，可参考这里所列的书单），如已选定课题请在邮件中说明，并安排时间和我面谈一次。

回到顶部

本科生毕业论文

我2025-2026学年可指导最多3位同学的本科生毕业论文，希望我指导本科生毕业论文的同学，需于大四上学期开学日之前和我联系。晚于此日期后请联系其他老师。

回到顶部

当前指导学生

博士：
- 栾晓坤，2021年本科毕业于北京大学数学科学学院信息与计算科学系信息科学方向，2021-2026年直博，获2021-2022、2022-2023、2025-2026年度校长奖学金，2021-2022年度优秀科研奖，2021-2022、2022-2023年度庄圻泰奖学金，FSE 2025杰出论文奖，2025年入选3+X博士生拔尖计划，于2023-2024年访问新加坡南洋理工大学，2026年7月（预计）博士毕业。
- 李翔宇，2019年毕业于佐治亚理工学院（Georgia Institute of Technology），获电子与计算机工程（ECE）硕士学位，2022年申请审核制博士入学，2026年7月（预计）博士毕业。
- 徐紫云，2022年本科毕业于北京大学数学科学学院数据科学与大数据技术专业，2022-2027年直博，2027年7月（预计）博士毕业。
- 邵凯诚，2023年本科毕业于北京大学数学科学学院，信息与计算科学系信息科学方向，2023-2028年直博，2028年7月（预计）博士毕业。
- 林与心，2024年毕业于哥伦比亚大学（Columbia University），获数据科学（计算机科学与技术）硕士学位，2024年申请审核制博士入学，2028年7月（预计）博士毕业。
- 张益豪，2024年本科毕业于北京大学数学科学学院数据科学与大数据技术专业，2024年直博入学，2023年获北京市自然科学基金“启研”计划资助，入选3+X博士生拔尖计划，获2025-2026学年校长奖学金，2029年7月（预计）博士毕业。
- 魏泽明，2025年本科毕业于北京大学数学科学学院数据科学与大数据技术专业，2025年直博入学，2024年获北京市自然科学基金“启研”计划资助，入选3+X博士生拔尖计划，2030年（预计）博士毕业。
硕士：
- 王凯（北京大学数学科学学院2024级大数据专业硕士）
- 唐振嘉（北京大学数学科学学院2024级大数据专业硕士）
- 王佳希（北京大学数学科学学院2024级大数据专业硕士）
本科生毕业论文：
本科生科研：
- 岳关璋（北京大学数学科学学院，2022级）
- 王秭如（北京大学数学科学学院，2022级）
- 雷斐然（北京大学数学科学学院，2022级）
- 邬程灿（北京大学数学科学学院，2023级）
- 张知辛（北京大学数学科学学院，2023级）
- 王瑞（北京大学数学科学学院，2023级）
- 徐鸣谦（北京大学数学科学学院，2024级）
- 吴司翰（北京大学元培学院，2024级）

回到顶部

往年指导学生

博士生（学位论文全文仅限北京大学校内访问）：

李屹，2013年本科毕业于北京大学数学科学学院信息科学系，北京大学保研（硕博连读），获2013-2014、2015-2016、2016-2017年度国家奖学金、2016-2017、2017-2018、2018-2019年度校长奖学金、2017-2018年度五四奖学金、2014-2015年度廖凯原奖学金，曾于2014年访问新加坡科技设计大学，2017年访问德国萨尔大学，2019年7月博士毕业，学位论文《Coordination and Composition: From Reo to Mediator》（abstract，fulltext），2019年入职华为（天才少年计划）。
M. Saqib Nawaz Khan，2014年毕业于Sargodha大学，获计算机科学硕士学位，北京大学申请审核制博士，获2018-2019年度北京大学留学生学习优秀奖，2019年7月博士毕业，学位论文《Using UTP and PVS for Formal Verification of Composition and Coordination Models》（abstract，fulltext），2019-2022年任职哈尔滨工业大学（深圳）博士后，2022年起任职深圳大学计算机与软件学院副研究员。
刘艾，2015年本科毕业于中国科学技术大学少年班学院，北京大学保研（直博），获2015-2016年院长奖学金，2018-2019年度方正奖学金，曾于2018年访问葡萄牙Minho大学，2020年7月博士毕业，学位论文《Coalgebraic Semantics for Complex Component-based Systems》（abstract，fulltext），2020-2023年任职日本广岛国立大学助理教授，2024年起任职南京航空航天大学计算机科学与技术学院副教授（国家级青年人才）。
张喜悦，2017年本科毕业于北京大学数学科学学院信息科学系，北京大学保研（直博），获2019-2020、2020-2021年度国家奖学金、2017-2018、2018-2019、2019-2020、2020-2021年度校长奖学金、2017-2018年度五四奖学金、2018-2019年度廖凯原奖学金，曾于2017年访问新加坡科技设计大学，2019-2020年访问新加坡南洋理工大学，2022年7月博士毕业，学位论文《Towards Trustworthiness Assurance of Deep Learning Systems with Certification Techniques》（abstract，fulltext），获北京大学优秀博士学位论文奖，2022年北京大学优秀毕业生，2022-2024年任职英国牛津大学计算机科学系副研究员，2024年起任职英国布里斯托大学计算机科学学院助理教授。
卢煜腾，2017年本科毕业于北京大学数学科学学院信息科学系，北京大学保研（硕博连读），获2017-2018年度国家奖学金、2018-2019、2019-2020年度北京大学三好学生，2019-2020年度研究生专项学业奖学金、2021-2022年度秦宛顺靳云汇奖学金，2021-2022年度学术创新奖，2021-2022年度五四奖学金，2021-2022年度北京大学优秀学生干部，2023年7月博士毕业，学位论文《Testing-based Machine Learning System Safety Strengthening》（abstract，fulltext），2023年北京大学优秀毕业生，2023年起入职中国舰船研究院。
孙纬地，2018年本科毕业于北京大学元培学院，北京大学保研（直博），获2018-2019、2019-2020、2020-2021年度学院奖学金，2019-2020年度优秀科研奖，2021-2022年度校长奖学金，2021-2022年度斯伦贝谢奖学金，2021-2022年度北京大学三好学生，2023年7月博士毕业，学位论文《Coverage Testing and Global Verification of Deep Learning Systems》（abstract，fulltext），2023年入职华为。
薛骁勇，2019年本科毕业于北京大学数学科学学院信息科学系，北京大学保研（直博），获2023-2024年五四奖学金，2022-2023年学院奖学金，2022-2023年度优秀科研奖，2024年7月博士毕业，学位论文《Verification Based Trustworthiness Assurance for Deep Neural Networks》（abstract，fulltext），2024年入职华为。
卜昊，2020年本科毕业于北京大学数学科学学院信息与计算科学系信息科学方向，2020-2025年直博，获2023-2024年度国家奖学金，2020-2021、2021-2022、2023-2024、2024-2025年度校长奖学金，2020-2021、2023-2024年度优秀科研奖，2022-2023年度华泰证券科技奖学金，2025年7月博士毕业，学位论文《Semantic Robustness of Deep Neural Networks》（abstract，fulltext），获北京大学优秀博士学位论文奖，北京大学数学科学学院优秀毕业生，2025年入职蚂蚁技术研究院（蚂蚁星人才计划）。

硕士生：

王译梧，2013年本科毕业于山西大学数学学院，2013-2016年北京大学硕士，获2014-2015年度光华奖学金，2016年7月硕士毕业，学位论文《基于主动学习的协调模型生成》，毕业后先后任职于联通、腾讯，现就职于润联软件系统(深圳)有限公司。
冀元祎，2015年本科毕业于北京大学数学科学学院，2015-2019年北京大学硕士，获2015-2016年度校长奖学金，2019年硕士毕业，学位论文《一个基于DPoS共识算法的设计与安全性证明》，毕业后任职于华为。
徐鹤元，2016年本科毕业于北京大学数学科学学院，2016-2019年北京大学硕士，2019年硕士毕业，学位论文《基于回归分析的燃气用量估计》，毕业后任职于傲基科技，现就职于博时基金。
王顺，2016年本科毕业于首都师范大学数学学院，2016-2019年北京大学硕士，曾于2018年访问葡萄牙Minho大学，2019年硕士毕业，学位论文《余代数理论在模糊控制系统中的应用》，毕业后任职于联通。
张琦，2018年本科毕业于西安电子科技大学计算机学院，2018-2021年北京大学硕士，获2017-2018、2018-2019年度研究生专项奖学金、2019-2020年度帝人奖学金，2021年硕士毕业，学位论文《基于UPPAAL的Nervos CKB区块同步协议的形式化建模及验证》，2021年北京大学优秀毕业生，毕业后任职于中国电信研究院。
冯逸群，2018年本科毕业于台湾大学工学院，2018-2021年北京大学硕士，获2020年台湾硕士奖学金一等奖，2020-2021年度研究生专项奖学金，2021年硕士毕业，学位论文《CKB区块链共识协议的安全性建模与验证》，毕业后任职于Shopback。
杨晓宇，2019年本科毕业于河北师范大学软件学院，2019-2022年北京大学硕士，获2021-2022年度北大三等奖学金，2022年硕士毕业，学位论文《基于区块链的供应链金融设计模式》，2022年北京市优秀毕业生，毕业后任职于北医三院。
李忆，2020年本科毕业于武汉大学数学与统计学院，2020-2023年北京大学硕士，2023年硕士毕业，学位论文《Stellar共识协议的形式化建模与验证》，2023年北京大学优秀毕业生，毕业后任职于重庆市发改委。
廖佳威，2021-2023年北京大学应用统计专业硕士，2023年硕士毕业，学位论文《无许可区块链的动态分片扩容算法研究——基于PotER-PPOSB和DQNSB的对比研究》。
周东旭，2022-2024年北京大学应用统计专业硕士，2024年硕士毕业（毕业去向：北航&微信研究院联培博士），学位论文《分布式系统形式化验证探索：整合MedTiny与PlusCal进行增强建模与验证》。
周宇洋，2023-2025年北京大学大数据专业硕士（与马尽文教授共同指导），2025年硕士毕业（毕业去向：国家超级计算成都中心），学位论文《多模态检索场景下对比学习框架的知识蒸馏与细粒度优化算法研究》。

本科生（毕业论文 / 本科生科研）：

姓名	毕业时间暨院系 / 专业	毕业去向	本科生科研 / 轮转	毕业论文 / 出访交流
李屹	2013.7信息科学系	本课题组保研（硕博连读）=> 华为		2012-2013在课题组开展毕业论文工作，毕业论文《Modeling and Analysis of Compo-nent Connectors in Coq》发表于国际会议FACS2013
陈霄泓	2014.7信息科学系	伊利诺伊大学香槟分校计算机科学系 => Runtime Verification => Pi Squared Inc.	2013-2014在课题组开展本科生科研及毕业论文工作，2014.1-2014.4访问新加坡SUTD，毕业论文《A Hybrid Model of Connectors in Cyber-Physical Systems》发表于国际会议ICFEM2014
何麒	2014.7金融数学系	密歇根州立大学		2013-2014在课题组开展毕业论文工作，毕业论文《基于UML的国债数据库系统建模与实现》
李少东	2015.7信息科学系	纽约大学计算机科学系 => Facebook	2013-2014在课题组开展本科生科研工作，受校长基金资助，论文《Model Checking Business Pro-cesses for Web Service Composi-tions in mCRL2》发表于国际会议IHMSC2014	2014-2015在课题组开展毕业论文工作，2015.3-2015.6访问新加坡SUTD，毕业论文《A Framework for Off-Line Conformance Testing of Timed Connectors 》发表于国际会议TASE2015，获会议最佳论文奖
区宇飞	2015.7信息科学系	哥伦比亚大学计算机科学系 => Facebook
冀元祎	2015.7概率统计系	本课题组保研=> 华为		2014-2015在课题组开展毕业论文工作，毕业论文《概率程序最弱前条件与循环不变量》
徐鹤元	2016.7信息科学系	本课题组保研 => 傲基科技 =>博时基金		2015-2016在课题组开展毕业论文工作，毕业论文《分布式系统的自动机拆分》
张喜悦	2017.7信息科学系	本课题组直博 => 牛津大学 => 布里斯托大学	2015-2017在课题组开展本科生科研及毕业论文工作，2017.8访问新加坡SUTD，毕业论文《Reasoning about Connectors in Coq》发表于国际会议FACS 2016
卢煜腾	2017.7信息科学系	本课题组保研（硕博连读）=> 中国舰船研究院		2016-2017在课题组开展毕业论文工作，毕业论文《Verification of the IEEE 802.11i Protocol Using UPPAAL》发表于国际会议SEKE 2018
洪伟疆	2017.7信息科学系	国防科大保研（硕博连读）=>军事科学院	2015-2017在课题组开展本科生科研及毕业论文工作，毕业论文《Using Coq for Formal Modeling and Verification of Timed Connectors》发表于国际会议FOCLASA 2017
王明远	2017.7信息科学系	香港大学	2015-2016在课题组开展关于模型检查方法的本科生科研工作
高嵩	2017.7信息科学系	中科院软件所直博	2015-2016在课题组开展关于模型检查方法的本科生科研工作
伏贵荣	2018.7元培学院	ETH Zurich	2016-2017在课题组开展本科生科研工作，受校长基金资助，论文《A Formal Design Model of Cloud Services》发表于国际会议SEKE 2017
孙纬地	2018.7元培学院	本课题组直博 => 华为		2017-2018在课题组开展毕业论文工作，毕业论文《Generating PRISM Codes from Mediator》发表于国际会议SEKE 2019
张琦	2018.7计算机学院（西安电子科技大学）	本课题组保研 => 中国电信研究院		2017-2018在课题组开展毕业论文工作，毕业论文《Mediator的SystemC代码生成》发表于《计算机工程与科学》期刊
薛骁勇	2019.7信息科学系	本课题组直博 => 华为		2018-2019在课题组开展毕业论文工作，毕业论文《Mediator建模语言的概率扩展》发表于《计算机工程与科学》期刊
卜昊	2020.7信息与计算科学系信息科学方向	本课题组直博=> 蚂蚁技术研究院		2019-2020在课题组开展毕业论文工作，毕业论文《Modeling and Verification of CKB Block Synchronous Protocol in Coq》发表于国际会议ICFEM 2020
黄贤凯	2020.7信息与计算科学系信息科学方向	教培就业		2019-2020在课题组开展毕业论文工作，毕业论文《神经网络验证综述》
栾晓坤	2021.7信息与计算科学系信息科学方向	本课题组直博	2019-2020在课题组开展本科生科研工作，受北京市创新计划资助，论文《Using LSTM to Predict Tactics in Coq》发表于国际会议SEKE 2021	2020-2021在课题组开展毕业论文工作，毕业论文《Modeling and Verification of CKB Consensus Protocol in Coq》发表于国际会议BSC@QRS 2021
徐紫云	2022.7数据科学与大数据技术	本课题组直博		2021-2022在课题组开展毕业论文工作，毕业论文《Using Z3 for Formal Modeling and Verification of Timed Reo Connector》发表于国际会议CSCE 2023
邵凯诚	2023.7信息与计算科学系信息科学方向	本课题组直博	2021-2022在课题组开展本科生科研工作，论文《MTUL: Towards Mutation Testing of Unsupervised Learning Systems》发表于国际会议SETTA 2022	2022-2023在课题组开展毕业论文工作，毕业论文《Extracting Automata from Extensive-Form Games Policies》
陈芷芮	2023.7数据科学与大数据技术	阿姆斯特丹大学		2022-2023在课题组开展毕业论文工作，毕业论文《Modeling and Verification of Producer-Consumer Communication in Kafka via Mediator》发表于国际会议2024 Computing Conference
张益豪	2024.7数据科学与大数据技术	本课题组直博	2022-2023在课题组开展本科生科研工作，论文《Using Z3 for Formal Modeling and Verification of FNN Global Robustness》发表于国际会议SEKE 2023	2023年获北京市自然科学基金“启研”计划资助，2023.11-2024.4访问新加坡SMU，2023-2024在课题组开展毕业论文工作，毕业论文《Extracting Deterministic Finite-state Automata from Transformers》
魏泽明	2025.7数据科学与大数据技术	本课题组直博	2022-2024在课题组开展本科生科研工作，论文《Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages》发表于国际会议ICFEM 2022，入选计算机学院首届小米杯“学术新星”（面向全校本科生，共入选5人）	2024年获北京市自然科学基金“启研”计划资助，2023.8-2023.10访问加州大学伯克利分校，2024.4访问新加坡SMU，2024-2025在课题组开展毕业论文工作，毕业论文《数据分布视角下的可信机器学习》，获北京大学优秀本科毕业论文，北京大学五四奖学金，北京大学优秀毕业生，北京市普通高等学校优秀毕业生
卢天泽	2025.7信息与计算科学系信息科学方向	本系直博	2023-2024在课题组开展关于神经网络公平性验证的本科生科研工作
王九同	2025.7元培学院			2024-2025在课题组开展毕业论文工作，毕业论文《大语言模型可信保障技术综述》
林纳青	2025.7元培学院			2024-2025在课题组开展毕业论文工作，毕业论文《以太坊智能合约安全分析及基于会计原则的跨链桥防御机制研究》
岳关璋	2026.7信息与计算科学系信息科学方向		2023-2025在课题组开展关于大语言模型变异测试的本科生科研工作
雷斐然	2026.7信息与计算科学系信息科学方向		2025年在课题组开展关于共识协议形式化建模与验证的本科生科研工作
王秭如	2026.7信息与计算科学系信息科学方向		2024-2025在课题组开展关于大语言模型的本科生科研工作
孙涌畅	2027.7信息科学技术学院图灵班（expected）		2025.3-2025.4在课题组科研轮转，开展关于区块链验证的工作

上表所列本科生科研内容中受学校资助正式立项的本科生科研项目均已明确说明，其他为课题组经费支持项目，部分同学的毕业论文为其受课题组经费支持所从事的本科生科研工作内容。