姓名 |
毕业时间暨院系 / 专业 |
毕业去向 |
本科生科研 / 轮转 |
毕业论文 / 出访交流 |
李屹 |
2013.7信息科学系 |
本课题组保研(硕博连读)=> 华为 |
|
|
|
2014.7信息科学系 |
伊利诺伊大学香槟分校计算机科学系 => Runtime Verification => Pi Squared Inc. |
|
何麒 |
2014.7金融数学系 |
密歇根州立大学 |
|
2013-2014在课题组开展毕业论文工作,毕业论文《基于UML的国债数据库系统建模与实现》 |
李少东 |
2015.7信息科学系 |
纽约大学计算机科学系 => Facebook |
|
|
|
2015.7信息科学系 |
哥伦比亚大学计算机科学系 => Facebook |
|
冀元祎 |
2015.7概率统计系 |
本课题组保研=> 华为 |
|
2014-2015在课题组开展毕业论文工作,毕业论文《概率程序最弱前条件与循环不变量》 |
|
2016.7信息科学系 |
本课题组保研 => 傲基科技 =>博时基金 |
|
2015-2016在课题组开展毕业论文工作,毕业论文《分布式系统的自动机拆分》 |
|
|
本课题组直博 => 牛津大学 => 布里斯托大学 |
|
卢煜腾 |
|
本课题组保研(硕博连读)=> 中国舰船研究院 |
|
|
洪伟疆 |
2017.7信息科学系 |
国防科大保研(硕博连读)=>军事科学院 |
|
王明远 |
2017.7信息科学系 |
香港大学 |
2015-2016在课题组开展关于模型检查方法的本科生科研工作 |
|
高嵩 |
2017.7信息科学系 |
中科院软件所直博 |
2015-2016在课题组开展关于模型检查方法的本科生科研工作 |
|
伏贵荣 |
|
ETH Zurich |
|
|
孙纬地 |
|
本课题组直博 => 华为 |
|
|
张琦 |
|
本课题组保研 => 中国电信研究院 |
|
|
薛骁勇 |
|
本课题组直博 => 华为 |
|
|
卜昊 |
|
本课题组直博=> 蚂蚁技术研究院 |
|
|
黄贤凯 |
|
教培就业 |
|
2019-2020在课题组开展毕业论文工作,毕业论文《神经网络验证综述》 |
栾晓坤 |
|
本课题组直博 |
|
|
徐紫云 |
|
本课题组直博 |
|
|
邵凯诚 |
|
本课题组直博 |
|
2022-2023在课题组开展毕业论文工作,毕业论文《Extracting Automata from Extensive-Form Games Policies》 |
|
|
阿姆斯特丹大学 |
|
2022-2023在课题组开展毕业论文工作,毕业论文《Modeling and Verification of Producer-Consumer Communication in Kafka via Mediator》发表于国际会议2024 Computing Conference |
|
|
本课题组直博 |
|
2023年获北京市自然科学基金“启研”计划资助,2023.11-2024.4访问新加坡SMU,2023-2024在课题组开展毕业论文工作,毕业论文《Extracting Deterministic Finite-state Automata from Transformers》 |
|
|
本课题组直博 |
|
2024年获北京市自然科学基金“启研”计划资助,2023.8-2023.10访问加州大学伯克利分校,2024.4访问新加坡SMU,2024-2025在课题组开展毕业论文工作,毕业论文《数据分布视角下的可信机器学习》,获北京大学五四奖学金,北京大学优秀毕业生,北京市普通高等学校优秀毕业生 |
卢天泽 |
|
本系直博 |
2023-2024在课题组开展关于神经网络公平性验证的本科生科研工作 |
|
王九同 |
|
|
|
2024-2025在课题组开展毕业论文工作,毕业论文《大语言模型可信保障技术综述》 |
林纳青 |
|
|
|
2024-2025在课题组开展毕业论文工作,毕业论文《以太坊智能合约安全分析及基于会计原则的跨链桥防御机制研究》 |
岳关璋 |
|
|
2023-2025在课题组开展关于大语言模型变异测试的本科生科研工作 |
|
雷斐然 |
|
|
2025年在课题组开展关于共识协议形式化建模与验证的本科生科研工作 |
|
王秭如 |
|
|
2024-2025在课题组开展关于大语言模型的本科生科研工作 |
|
孙涌畅 |
2027.7信息科学技术学院图灵班(expected)
|
|
2025.3-2025.4在课题组科研轮转,开展关于区块链验证的工作 |
|