导师

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

职工

瞿荣

在读博士生

邓茜(2014级) 黄沛(2016级) 潘临杰(2016级) 马旭桐(2016级)
刘明昊(2017级) 燕季薇(2019级) 崔保全(2020级) 贾富琦(2020级)
孙硕(2020级)

在读硕士生

刘力铭(2018级) 刘晴(2018级) 苏静(2018级) 周豪(2018级)
章新(2019级) 王伟(2019级) 李旭然(2019级) 张豪(2019级)
王思琪(2020级) 张丽玮(2020级) 罗季(2020级)

已毕业学生

姓名 毕业年份 学位 毕业去向
吴兴明 2018 博士
杨玲 2018 硕士
吕亦奇 2018 硕士
葛存菁 2019 博士 奥地利林茨大学
王平 2019 硕士 腾讯
张龙 2020 博士 华为
张帆 2020 硕士
李雅琪 2020 硕士
李润东 2020 硕士