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