伊人直播

讲授课程

  • 程序设计语言原理，数学伊人直播 研究生课程（研本合上，隔年开设），2022-2023、2024-2025学年春季学期，课程主页在这里
  • 论文写作指导，数学伊人直播 研究生课程，2019-2025每学年春季学期，课程主页在这里
  • 软件理论讨论班，每学期开设，研究生、本科生均可参加
  • 程序设计技术与方法，数学伊人直播 本科生课程（本研合上），2017-2021每学年春季学期（讲授内容Software Reliability Methods），2021-2025每学年秋季学期（讲授内容Constraint Programming），课程主页在这里
  • FM meets AI，数学科学伊人直播 本科生3+X讨论班，2024-2025学年秋季学期
  • 区块链原理、方法与应用，数学伊人直播 研究生课程（研本合上，隔年开设），2023-2024学年春季学期，课程主页在这里
  • 数据结构与算法（B），全校本科生必修课程，2021-2022学年春季学期
  • 可信智能软件，数学科学伊人直播 本科生3+X讨论班，2021-2022学年秋季学期
  • 数据结构（Python语言），数学伊人直播 本科生课程，2015-2017及2018-2020每年秋季学期，课程主页在这里
  • AI理论讨论班，数学伊人直播 本科生3+X课程（面向大二、大三学生，无学分），2018-2019学年春季学期，课程主页在这里
  • 软件形式化方法（讲授内容Model Checking），数学伊人直播 研究生课程（本科生可选），2015-2018每年春季学期（课程介绍）
  • 数据结构（C语言），数学伊人直播 本科生课程，2010-2014每年及2017-2018学年秋季学期，课程主页在这里
  • 集合论与图论，数学伊人直播 本科生课程，2012-2013学年春季学期，课程主页在这里
  • 软件理论与方法选讲（讲授内容Algebraic and Coalgebraic Specifications），数学伊人直播 研究生课程，2010-2012每年春季学期
  • 低年级讨论班(信息)，数学伊人直播 本科生课程，2010-2011学年春季学期
  • Requirement Engineering，莱顿大学本科生课程，2008-2009学年秋季学期
  • Coordination and Composition ，莱顿大学研究生课程，2007-2008学年春季学期

回到顶部

研究生招生

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

回到顶部

本科生科研

  • 欢迎对程序理论、软件形式化方法、人工智能、深度学习、信息物理融合系统、区块链、信息安全、量子计算等领域感兴趣且学有余力，愿意从事相关研究工作的低年级本科生同学和我联系，参加我的讨论班及课题组研究活动。本科期间由我指导过本研且表现出色的同学在直博推免到本课题组时将予以优先考虑，或提供出国及到其他国内高校或科研院所读研的推荐。
  • 2024-2025年部分本科生科研可选课题如下：
    • 大语言模型的可信性（安全性、鲁棒性、公平性、可解释性......）
    • 基于大语言模型和深度学习的定理证明自动化技术
    • 基于模型表征的大语言模型修复技术
    • 深度学习系统的形式化模型构建与合成
    • 深度学习系统测试理论与方法（基于模型的测试、基于性质的测试、变异测试、蜕变测试.....）
    • 深度学习系统形式化验证技术（模型检查、抽象解释、SMT求解......）
    • 区块链共识协议与智能合约功能正确性、安全性的形式化建模与验证（定理证明、模型检查、SMT求解）
    • 区块链智能合约规约语言设计
    • 信息物理系统复杂交互行为的统计模型检查方法
    • 基于深度学习的模型检查反例生成方法
    • 概率实时系统 / 信息物理系统 / 量子系统的余代数模型和余归纳推理方法
    • Mediator建模语言的混成扩展及相关工具实现
  • 要求：
    • 对课题相关领域感兴趣且具有较高的科研热情，做事认真负责，具有创新精神和独立工作能力且愿意与他人合作，英语读写能力强，有较好的编程能力；
    • 对自己的时间能够有很好的规划安排，需在学有余力的情况下参与项目工作，学期中至少需保证每周8-10小时用于项目工作的时间（每周参加课题组讨论班，阅读文献，编程实现及论文写作），假期至少保证1/2的时间用于项目工作。
  • 注意：
    • 不论是本研还是保研，你的绩点都并非我考虑的主要因素，我更看重的是学生的兴趣和态度，如果你能够很好地规划时间安排，完全可以把科研工作和课程学习两者都做好，但因为参加本研需投入较多的时间和精力（只是跟着听听讨论班基本上是没有什么意义的），如果你的兴趣不在我的研究方向上请联系其他老师，以免浪费你和我的时间；
    • 部分课题的研究需要一定的知识储备，可能你在从事课题研究之前，需要先选修一些相关课程并阅读部分我推荐的文献；
    • 学校官方的本研项目对申请人绩点有一定的要求（比如有些项目要求申请人绩点不低于3.3），如果你未达到这一要求但对本人研究感兴趣且愿意投入时间精力从事相关研究，也可以直接联系我，加入我的课题组从事本研工作，虽然无法受上述项目资助，但从事研究的相关费用（文献资料费、论文发表版面费、会议注册费、差旅费等）可受本人科研项目经费支持，且灵活度相对更高。
  • 报名方式：
    • 通过email报名，提供个人基本信息（姓名、学号、电话、email等），是否对我的方向已有所了解，读过哪些论文或专业书籍（除教材之外，可参考这里所列的书单），如已选定课题请在邮件中说明，并安排时间和我面谈一次。

回到顶部

本科生毕业论文

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

回到顶部

推荐信

  • 原则上我只会为了解的同学推荐，自2023年起，因出国或保研至其它单位希望我写推荐信的同学（非本课题组研究生），需至少满足下列两者之一：
    • 由我指导做本科生科研并有被我承认的较好成果，
    • 选修过至少两门我的课程，且每门课期末总评成绩均在95分以上（若只满足这一条，我将仅在推荐信中提供课程成绩说明而不会提供除此之外的任何推荐意见），
  • 不符合以上条件的同学请联系其他老师。

回到顶部

当前指导学生

  • 博士：
    • 卜昊（本科毕业于伊人直播-伊人直播app ，信息与计算科学系信息科学方向，2020年直博入学）
    • 栾晓坤（本科毕业于伊人直播-伊人直播app ，信息与计算科学系信息科学方向，2021年直博入学）
    • 李翔宇（Georgia Institute of Technology，Master in Electrical & Computer Engineering，2022年申请审核制博士入学）
    • 徐紫云（本科毕业于伊人直播-伊人直播app ，数据科学与大数据技术专业，2022年直博入学）
    • 邵凯诚（本科毕业于伊人直播-伊人直播app ，信息与计算科学系信息科学方向，2023年直博入学）
    • 林与心（Columbia University，Master in Data Science，2024年申请审核制博士入学）
    • 张益豪（本科毕业于伊人直播-伊人直播app ，数据科学与大数据技术专业，2024年直博入学，入选博士生拔尖计划）
    • 魏泽明（伊人直播-伊人直播app ，数据科学与大数据技术专业，2025年直博入学预录取，入选博士生拔尖计划）
  • 专业硕士：
    • 周宇洋（伊人直播-伊人直播app 2023级大数据专业硕士，与马尽文教授共同指导）
    • 王凯（伊人直播-伊人直播app 2024级大数据专业硕士）
    • 唐振嘉（伊人直播-伊人直播app 2024级大数据专业硕士）
    • 王佳希（伊人直播-伊人直播app 2024级大数据专业硕士）
  • 本科生毕业论文：
    • 魏泽明（伊人直播-伊人直播app ，2021级）
    • 王九同（伊人直播 元培伊人直播 ，2021级）
    • 林纳青（伊人直播 元培伊人直播 ，2021级）
  • 本科生科研：
    • 岳关璋（伊人直播-伊人直播app ，2022级）
    • 王秭如（伊人直播-伊人直播app ，2022级）
    • 雷斐然（伊人直播-伊人直播app ，2022级）
  • 讨论班：
    • 本学期研究生讨论班日程安排见这里。
    • 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著。

回到顶部

往年指导学生

  • 博士生（学位论文全文仅限伊人直播 校内访问）：
    1. 李屹，2013年本科毕业于伊人直播-伊人直播app 信息科学系，伊人直播 保研（硕博连读），2019年博士毕业，获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年入职华为（天才少年计划）。
    2. M. Saqib Nawaz Khan，2014年毕业于Sargodha大学，获计算机科学硕士学位，伊人直播 申请审核制博士，2019年博士毕业，获2018-2019年度伊人直播 留学生学习优秀奖，2019年7月博士毕业，学位论文《Using UTP and PVS for Formal Verification of Composition and Coordination Models》（abstract，fulltext），2019-2022年任职哈尔滨工业大学（深圳）博士后，2022年起任职深圳大学计算机与软件伊人直播 副研究员。
    3. 刘艾，2015年本科毕业于中国科学技术大学少年班伊人直播 ，伊人直播 保研（直博），2020年博士毕业，获2015-2016年院长奖学金，2018-2019年度方正奖学金，曾于2018年访问葡萄牙Minho大学，2020年7月博士毕业，学位论文《Coalgebraic Semantics for Complex Component-based Systems》（abstract，fulltext），2020-2023年任职日本广岛国立大学助理教授，2024年起任职南京航空航天大学副教授 （国家级青年人才）。
    4. 张喜悦，2017年本科毕业于伊人直播-伊人直播app 信息科学系，伊人直播 保研（直博），2022年博士毕业，获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年起任职英国布里斯托大学助理教授。
    5. 卢煜腾，2017年本科毕业于伊人直播-伊人直播app 信息科学系，伊人直播 保研（硕博连读），2023年博士毕业，获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年起入职中国舰船研究院。
    6. 孙纬地，2018年本科毕业于伊人直播 元培伊人直播 ，伊人直播 保研（直博），2023年博士毕业，获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年入职华为。
    7. 薛骁勇，2019年本科毕业于伊人直播-伊人直播app 信息科学系，伊人直播 保研（直博），2024年博士毕业，获2023-2024年五四奖学金，2022-2023年伊人直播 奖学金，2022-2023年度优秀科研奖，2024年7月博士毕业，学位论文《Verification Based Trustworthiness Assurance for Deep Neural Networks》（abstract，fulltext），2024年入职华为。
  • 硕士生：
    1. 王译梧，2013年本科毕业于山西大学数学伊人直播 ，2013-2016年伊人直播 硕士，获2014-2015年度光华奖学金，2016年7月硕士毕业，学位论文《基于主动学习的协调模型生成》，毕业后先后任职于联通、腾讯，现就职于润联软件系统(深圳)有限公司。
    2. 冀元祎，2015年本科毕业于伊人直播-伊人直播app ，2015-2019年伊人直播 硕士，获2015-2016年度校长奖学金，2019年硕士毕业，学位论文《一个基于DPoS共识算法的设计与安全性证明》，毕业后任职于华为。
    3. 徐鹤元，2016年本科毕业于伊人直播-伊人直播app ，2016-2019年伊人直播 硕士，2019年硕士毕业，学位论文《基于回归分析的燃气用量估计》，毕业后任职于傲基科技，现就职于博时基金。
    4. 王顺，2016年本科毕业于首都师范大学数学伊人直播 ，2016-2019年伊人直播 硕士，曾于2018年访问葡萄牙Minho大学，2019年硕士毕业，学位论文《余代数理论在模糊控制系统中的应用》，毕业后任职于联通。
    5. 张琦，2018年本科毕业于西安电子科技大学计算机伊人直播 ，2018-2021年伊人直播 硕士，获2017-2018、2018-2019年度研究生专项奖学金、2019-2020年度帝人奖学金，2021年硕士毕业，学位论文《基于UPPAAL的Nervos CKB区块同步协议的形式化建模及验证》，2021年伊人直播 优秀毕业生，毕业后任职于中国电信研究院。
    6. 冯逸群，2018年本科毕业于台湾大学工伊人直播 ，2018-2021年伊人直播 硕士，获2020年台湾硕士奖学金一等奖，2020-2021年度研究生专项奖学金，2021年硕士毕业，学位论文《CKB区块链共识协议的安全性建模与验证》，毕业后任职于Shopback。
    7. 杨晓宇，2019年本科毕业于河北师范大学软件伊人直播 ，2019-2022年伊人直播 硕士，获2021-2022年度北大三等奖学金，2022年硕士毕业，学位论文《基于区块链的供应链金融设计模式》，2022年北京市优秀毕业生，毕业后任职于北医三院。
    8. 李忆，2020年本科毕业于武汉大学数学与统计伊人直播 ，2020-2023年伊人直播 硕士，2023年硕士毕业，学位论文《Stellar共识协议的形式化建模与验证》，2023年伊人直播 优秀毕业生，毕业后任职于重庆市发改委。
  • 专业硕士生：
    1. 廖佳威，2021-2023年伊人直播 应用统计专业硕士，2023年毕业，学位论文《无许可区块链的动态分片扩容算法研究——基于PotER-PPOSB和DQNSB的对比研究》。
    2. 周东旭，2022-2024年伊人直播 应用统计专业硕士，2024年毕业，学位论文《分布式系统形式化验证探索：整合MedTiny与PlusCal进行增强建模与验证》。
  • 本科生（毕业论文 / 本科生科研）：
    • 姓名 毕业时间暨院系 / 专业 毕业去向 本科生科研 毕业论文 / 出访交流
    李屹
    2013.7信息科学系
    本课题组保研（硕博连读）=> 华为
    		  
    2012-2013在课题组开展毕业论文工作，毕业论文《Modeling and Analysis of Compo-nent Connectors in Coq》发表于国际会议FACS2013
    2014.7信息科学系
    伊利诺伊大学香槟分校计算机科学系 => Runtime Verification
    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数据科学与大数据技术（expected）
    本课题组直博
    2022-2024在课题组开展本科生科研工作，论文《Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages》发表于国际会议ICFEM 2022
    2024年获北京市自然科学基金“启研”计划资助，2023.8-2023.10访问加州大学伯克利分校，2024.4访问新加坡SMU，2024-2025在课题组开展毕业论文工作，毕业论文《人工智能基础模型对抗安全的机制分析与攻防算法》
    卢天泽
    2025.7信息与计算科学系信息科学方向（expected）
    本系直博
    2023-2024在课题组开展关于神经网络公平性验证的本科生科研工作
    		  
    王九同
    2025.7元培伊人直播 （expected）
     
    		2024-2025在课题组开展毕业论文工作
    林纳青
    2025.7元培伊人直播 （expected）
     
    		2024-2025在课题组开展毕业论文工作

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

回到顶部