删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

北京大学信息科学技术学院导师教师师资介绍简介-熊英飞

本站小编 Free考研考试/2020-04-10


熊英飞 职称:研究员
研究所:软件研究所
研究领域:软件工程、程序设计语言
办公电话:86-
电子邮件:xiongyf@pku.edu.cn
个人主页:http://sei.pku.edu.cn/~xiongyf04/




熊英飞主要从事软件缺陷自动修复、程序自动生成和软件分析的研究。其研究工作提出了基于差别的演化缺陷修复理论、高精度的程序缺陷修复方法和范围修复理论。熊英飞是顶级会议OOPSLA和顶级期刊TSE的中国大陆首批审稿委员会成员,也是软件分析顶级会议ISSTA上获得ACM Distinguished Paper Award的首篇中国大陆论文的作者。熊英飞作为项目负责人负责一项青年973项目,同时负责来自自然科学基金委、科技部、微软公司、华为公司的多个项目。


相关话题/北京大学 信息科学技术学院