软件工程、人工智能（自动推理；约束求解；软件测试；代码静态分析）

   

083500-软件工程
081202-计算机软件与理论

程序分析与软件测试
自动推理与约束求解
软件测试

   

-- 研究生

-- 博士

软件测试与分析

已指导学生

徐贵红  博士研究生  081202-计算机软件与理论  

严俊  博士研究生  081202-计算机软件与理论  

季晓慧  博士研究生  081202-计算机软件与理论  

李韶华  硕士研究生  081203-计算机应用技术  

石玉祥  硕士研究生  081202-计算机软件与理论  

刘生  博士研究生  081202-计算机软件与理论  

许中兴  博士研究生  081202-计算机软件与理论  

贾祥雪  博士研究生  081202-计算机软件与理论  

阮辉  硕士研究生  081202-计算机软件与理论  

陈柏强  博士研究生  081202-计算机软件与理论  

马菲菲  博士研究生  081202-计算机软件与理论  

卢闰明  硕士研究生  081202-计算机软件与理论  

赵勇  硕士研究生  081202-计算机软件与理论  

郭超容  硕士研究生  081202-计算机软件与理论  

张智强  博士研究生  081202-计算机软件与理论  

张艳丽  硕士研究生  085211-计算机技术  

葛存菁  博士研究生  081202-计算机软件与理论  

吴兴明  博士研究生  081202-计算机软件与理论  

吴添勇  博士研究生  083500-软件工程  

燕季薇  硕士研究生  083500-软件工程  

刘洁瑞  硕士研究生  085211-计算机技术  

张龙  博士研究生  081202-计算机软件与理论  

吕亦奇  硕士研究生  085211-计算机技术  

杨玲  硕士研究生  085211-计算机技术  

王平  硕士研究生  083500-软件工程  

李润东  硕士研究生  085211-计算机技术  

现指导学生

黄沛  博士研究生  081202-计算机软件与理论  

潘临杰  博士研究生  083500-软件工程  

刘明昊  博士研究生  081202-计算机软件与理论  

邓茜  博士研究生  083500-软件工程  

马旭桐  博士研究生  083500-软件工程  

刘晴  硕士研究生  085212-软件工程  

刘力铭  硕士研究生  085212-软件工程  

章新  硕士研究生  083500-软件工程  

张豪  博士研究生  081202-计算机软件与理论  

王伟  硕士研究生  085212-软件工程  

贾富琦  博士研究生  081200-计算机科学与技术  

王思琪  硕士研究生  085400-电子信息  

崔保全  博士研究生  083500-软件工程  

张丽玮  硕士研究生  083500-软件工程  

1999年起，任中国科学院软件研究所研究员；
2000年起，任中国科学院软件研究所博士生导师。
2004年起，任《计算机学报》编委；
2010年起，任 JCST 编委、Frontiers of CS 编委。