导师
姓名 |
导师类别 |
招生专业 |
研究方向 |
张健 |
博导 |
计算机软件与理论、软件工程(学术学位) |
自动推理与约束求解,程序分析与软件测试 |
严俊 |
博导 |
软件工程(学术学位) |
程序分析 |
马菲菲 |
博导 |
计算机软件与理论 |
自动推理 |
在读博士生
邓茜(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 |
博士 |
斯坦福大学 |