熊英飛

熊英飛於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青年科學家獎等獎項。 ^[1]  。

軟件工程、程序設計語言，主要從事軟件缺陷自動修復、程序自動生成和軟件分析的研究 ^[1]  。

在缺陷修復領域提出了一系列理論、方法和技術，其中基於差別的修復模型已經成為演化缺陷領域廣泛使用的模型之一，而基於統計的缺陷修復技術將程序缺陷修復的準確率提升約40個百分點。其工作被多個公司和開源項目採用，包括華為公司、Linux內核配置項目等。 ^[2] 

2018年 梅宏，黃罡，張穎，劉譞哲，郭耀，熊英飛等《雲-端融合系統的資源反射機制及高效互操作技術》獲國家技術發明一等獎

2018年 北京大學優秀班主任

2017年 中國電子學會技術發明特等獎

2017年 ACM SIGSOFT傑出論文獎（中國大陸學者在軟件分析測試頂級會議ISSTA上的首次獲獎）

2015年 教育部科技進步一等獎

2015年 曾憲梓優秀教學獎 ^[2] 

程序委員會成員: ICSE 2019, 2020

程序委員會成員: ASE 2018, 2019

程序委員會成員: ISSTA 2019

程序委員會主席: SATE 2018 ^[2]