导师

姓名 导师类别 招生专业 研究方向
张健 博导 计算机软件与理论、软件工程(学术学位) 自动推理与约束求解,程序分析与软件测试
严俊 博导 软件工程(学术学位) 程序分析
马菲菲 博导 计算机软件与理论 自动推理

在读博士生

邓茜(2014级) 马旭桐(2016级) 刘明昊(2017级) 燕季薇(2019级)
张豪(2019级) 崔保全(2020级) 贾富琦(2020级) 孙硕(2020级)
张弛(2021级) 瞿荣(2021级)

在读硕士生

王思琪(2020级) 张丽玮(2020级) 罗季(2020级) 赵润之(2021级)
韩瑞(2021级) 张裕(2021级) 李昌文(2021级) 胡梦泽(2021级)
董宇航(2022级) 柴文健(2022级) 刘珺(2022级) 黄渐刚(2022级)
解远远(2022级)

实习生

张世新(2022)

已毕业学生

姓名 毕业年份 学位 毕业去向
吴兴明 2018 博士
杨玲 2018 硕士 微软
吕亦奇 2018 硕士 每日优鲜
葛存菁 2019 博士 奥地利林茨大学
王平 2019 硕士 腾讯
张龙 2020 博士 华为
张帆 2020 硕士 百度
李雅琪 2020 硕士 字节跳动
李润东 2020 硕士 微软
潘临杰 2021 博士 华为
刘晴 2021 硕士 阿里巴巴
刘力铭 2021 硕士
苏静 2022 硕士
章新 2022 硕士 腾讯
王伟 2022 硕士 国家电网
黄沛 2022 博士 斯坦福大学