成员
认识我们研究小组的成员
教职工
负责人
张健
研究员
博士生导师
自动推理，约束求解，静态分析，软件测试
成员
严俊
研究员
博士生导师
程序分析与软件测试
马菲菲
研究员
博士生导师
自动推理与约束求解
晏荣杰
副研究员
硕士生导师
嵌入式系统分析与验证，智能系统
燕季薇
副研究员
硕士生导师
移动应用分析与测试、智能化软件工程
高航
高级工程师
图表示学习，面向软件工程的人工智能技术，大语言模型
瞿荣
工程师
程序分析，软件测试，编译器测试
张世新
工程师
RISC-V跨架构迁移技术、程序分析、软件测试
博士后
学生
博士生
张豪
2019 - 至今
孙朔
2020 - 至今
张丽玮
2020 - 至今
韩瑞
2021 - 至今
张弛
2021 - 至今
赵润之
2021 - 至今
柴文健
2022 - 至今
董宇航
2022 - 至今
李知霖
2022 - 至今
刘珺
2022 - 至今
吕昆航
2023 - 至今
师朗辰
2023 - 至今
孙天天
2023 - 至今
杨恒钦
2023 - 至今
张震
2023 - 至今
龚可
2024 - 至今
杨远
2024 - 至今
硕士生
黄彬茹
2024 - 至今
计理强
2024 - 至今
时微淳
2024 - 至今
苏琎韬
2024 - 至今
汪子横
2024 - 至今
夏昌炜
2024 - 至今
郑锐
2024 - 至今
程洁玉
2025 - 至今
傅艺玄
2025 - 至今
黄进豪
2026 - 至今
毕业生
| 姓名 | 毕业年份 | 学位 | 去向 |
|---|---|---|---|
| 贾富琦 | 2026 | 博士 | 中科院软件所 |
| 王锐 | 2026 | 硕士 | 蚂蚁集团 |
| 肖瑜 | 2026 | 硕士 | 字节跳动 |
| 崔保全 | 2025 | 博士 | 中科院软件所 |
| 解远远 | 2025 | 硕士 | 百度 |
| 马旭桐 | 2024 | 博士 | 法国 Inria |
| 胡梦泽 | 2024 | 硕士 | 字节跳动 |
| 邓茜 | 2023 | 博士 | 华为 |
| 刘明昊 | 2023 | 博士 | 牛津大学 |
| 燕季薇 | 2023 | 博士 | 中科院软件所 |
| 罗季 | 2023 | 硕士 | 航天研究所 |
| 王苗苗 | 2023 | 硕士 | 蚂蚁金服 |
| 黄沛 | 2022 | 博士 | 斯坦福大学 |
| 苏静 | 2022 | 硕士 | 陕西农林职业技术大学 |
| 王伟 | 2022 | 硕士 | 国家电网 |
| 章新 | 2022 | 硕士 | 腾讯 |
| 潘临杰 | 2021 | 博士 | 华为 |
| 刘力铭 | 2021 | 硕士 | 壁仞科技 |
| 刘晴 | 2021 | 硕士 | 阿里巴巴 |
| 张龙 | 2020 | 博士 | 华为 |
| 李润东 | 2020 | 硕士 | 微软 |
| 李雅琪 | 2020 | 硕士 | 字节跳动 |
| 张帆 | 2020 | 硕士 | 百度 |
| 葛存菁 | 2019 | 博士 | 南京大学 |
| 王平 | 2019 | 硕士 | 腾讯 |
| 吴兴明 | 2018 | 博士 | 某事业单位 |
| 吕亦奇 | 2018 | 硕士 | 每日优鲜 |
| 杨玲 | 2018 | 硕士 | 微软 |
| 吴添勇 | 2017 | 博士 | 华为 |
| 刘洁瑞 | 2017 | 硕士 | 字节跳动 |
| 燕东 | 2017 | 硕士 | 百度 |
| 卢琼 | 2016 | 硕士 | 微软 |
| 张智强 | 2015 | 博士 | 谷歌 |