熊英飛，男，北京大學信息科學技術學院長聘副教授，研究員。2009年 日本東京大學 博士。現任新體制長聘副教授、計算機學院院長助理、軟體研究所副所長。
基本介紹
- 中文名：熊英飛
- 國籍：中國
- 畢業院校：日本東京大學
- 學位/學歷：博士
- 職業：教師
- 專業方向：軟體工程、程式設計語言
- 任職院校：北京大學信息科學技術學院
人物經歷,研究方向,主要成就,獲獎記錄,社會任職,
人物經歷
熊英飛於2009年從日本東京大學獲得博士學位，2009-2011年在加拿大滑鐵盧大學工作，2012年加入北京大學，現任新體制長聘副教授、計算機系主任助理、軟體研究所副所長。熊英飛的研究興趣是程式設計語言和軟體工程，特別是程式分析、合成和修復。他提出了理論和方法降低程式編寫和缺陷修復的代價。比如，基於差別的雙向變換框架是最廣泛使用的雙向變換框架之一，ACS將程式修復技術在公共數據集上的正確率從此前不到40%提升到70%以上。他的工作獲得MODELS最有影響論文獎，5次獲得ACM SIGSOFT/IEEE TCSE傑出論文獎。他的工作也被工業界採用，比如新一代Linux核心配置項目、燕雲DaaS系統、華為公司等。他是SATE18的程式委員會聯合主席，也在PLDI、ICSE、FSE等會議擔任PC，3次獲得ICSE和FSE的傑出審稿人獎。他的研究受自然科學基金優秀青年基金、青年973等項目資助，他也獲得NASAC青年軟體創新獎、CCF-IEEE CS青年科學家獎等獎項。。
研究方向
軟體工程、程式設計語言，主要從事軟體缺陷自動修復、程式自動生成和軟體分析的研究。
主要成就
在缺陷修復領域提出了一系列理論、方法和技術，其中基於差別的修復模型已經成為演化缺陷領域廣泛使用的模型之一，而基於統計的缺陷修復技術將程式缺陷修復的準確率提升約40個百分點。其工作被多個公司和開源項目採用，包括華為公司、Linux核心配置項目等。
獲獎記錄
2018年 北京大學優秀班主任
2017年 中國電子學會技術發明特等獎
2017年 ACM SIGSOFT傑出論文獎（中國大陸學者在軟體分析測試頂級會議ISSTA上的首次獲獎）
2015年 教育部科技進步一等獎
2015年 曾憲梓優秀教學獎
社會任職
程式委員會成員: ICSE 2019, 2020
程式委員會成員: ASE 2018, 2019
程式委員會成員: ISSTA 2019
程式委員會主席: SATE 2018
