姓名 |
毕业时间暨院系 / 专业 |
毕业去向 |
本科生科研 |
毕业论文 / 出访交流 |
李屹 |
2013.7信息科学系 |
本课题组保研(硕博连读)=> 华为 |
|
|
|
2014.7信息科学系 |
伊利诺伊大学香槟分校计算机科学系 => Runtime Verification |
|
何麒 |
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》 |
|
2025.7数据科学与大数据技术(expected)
|
本课题组直博 |
|
2024年获北京市自然科学基金“启研”计划资助,2023.8-2023.10访问加州大学伯克利分校,2024.4访问新加坡SMU,2024-2025在课题组开展毕业论文工作,毕业论文《人工智能基础模型对抗安全的机制分析与攻防算法》 |
卢天泽 |
2025.7信息与计算科学系信息科学方向(expected)
|
本系直博 |
2023-2024在课题组开展关于神经网络公平性验证的本科生科研工作 |
|
王九同 |
|
|
|
2024-2025在课题组开展毕业论文工作 |
林纳青 |
|
|
|
2024-2025在课题组开展毕业论文工作 |