导师
| 姓名 |
导师类别 |
招生专业 |
研究方向 |
| 张健 |
博导 |
计算机软件与理论、软件工程（学术学位） |
自动推理与约束求解，程序分析与软件测试 |
| 严俊 |
博导 |
软件工程（学术学位） |
程序分析 |
| 马菲菲 |
博导 |
计算机软件与理论 |
自动推理 |
在读博士生
| 邓茜（2014级） |
马旭桐（2016级） |
刘明昊（2017级） |
燕季薇（2019级） |
| 张豪（2019级） |
崔保全（2020级） |
贾富琦（2020级） |
孙硕（2020级） |
| 张弛（2021级） |
瞿荣（2021级） |
|
|
在读硕士生
| 王思琪（2020级） |
张丽玮（2020级） |
罗季（2020级） |
赵润之（2021级） |
| 韩瑞（2021级） |
张裕（2021级） |
李昌文（2021级） |
胡梦泽（2021级） |
| 董宇航（2022级） |
柴文健（2022级） |
刘珺（2022级） |
黄渐刚（2022级） |
| 解远远（2022级） |
|
|
|
实习生
已毕业学生
| 姓名 |
毕业年份 |
学位 |
毕业去向 |
| 吴兴明 |
2018 |
博士 |
– |
| 杨玲 |
2018 |
硕士 |
微软 |
| 吕亦奇 |
2018 |
硕士 |
每日优鲜 |
| 葛存菁 |
2019 |
博士 |
奥地利林茨大学 |
| 王平 |
2019 |
硕士 |
腾讯 |
| 张龙 |
2020 |
博士 |
华为 |
| 张帆 |
2020 |
硕士 |
百度 |
| 李雅琪 |
2020 |
硕士 |
字节跳动 |
| 李润东 |
2020 |
硕士 |
微软 |
| 潘临杰 |
2021 |
博士 |
华为 |
| 刘晴 |
2021 |
硕士 |
阿里巴巴 |
| 刘力铭 |
2021 |
硕士 |
– |
| 苏静 |
2022 |
硕士 |
– |
| 章新 |
2022 |
硕士 |
腾讯 |
| 王伟 |
2022 |
硕士 |
国家电网 |
| 黄沛 |
2022 |
博士 |
斯坦福大学 |