导师

 

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

在读博士

葛存菁(博14级) 邓茜(博14级) 黄沛(博16级) 刘明昊(博17级)
潘临杰 张龙 马旭桐

在读硕士

王平(硕16级) 张帆(硕17级) 李润东(硕17级) 李雅琪(硕17级)
刘力铭(硕18级) 刘晴(硕18级) 苏静(硕18级) 燕季微