2025 年 2 月 12 日 – 美國計算機協會 （ACM）公布了2024年度傑出會員（Distinguished Members）評選結果（官方鍊接），來自全球13個國家和地區的56名科學家、教育家和工程師入選，beat365官方网站熊英飛老師因對程序修複和程序合成的貢獻獲此殊榮。

ACM創立于1947年，是世界上第一個科學性和教育性的計算機學會，也是目前全球最大的計算機領域學術組織，在190多個國家和地區擁有超過11萬名會員。其所評選的圖靈獎（ACM Turing Award）被公認為是計算機領域的最高獎項，也被稱為「計算機界的諾貝爾獎」。ACM傑出會員表彰那些取得了重大成就或對計算機領域産生了重大影響，可以作為年輕人的導師和榜樣的專業會員。

熊英飛

熊英飛老師于2009年從日本東京大學獲得博士學位，2009-2011年在加拿大滑鐵盧大學工作，2012年加入beat365，現任新體制長聘副教授、軟件研究所副所長。熊英飛老師的研究興趣是程序設計語言和軟件工程，特别是程序合成、修複、分析和驗證。他的工作幫助産生了一系列不同規模的效果同期最優代碼生成神經網絡模型，如DeepSeek-Coder模型；大幅提升了缺陷修複的正确率、修複數量和修複效率；提出了最廣泛使用的兩大雙向變換模型之一——基于差别的雙向變換；成功自動求解大量算法問題，包括世界頂級算法競賽中的問題。他的工作也被工業界采用，比如華為公司、中興公司、新一代Linux内核配置項目等。他在OOPSLA擔任副主席、ASE擔任領域主席、IEEE TSE擔任編委，PLDI、ICSE、FSE、OOPSLA、ASE、ISSTA等會議定期擔任PC，5次在ICSE和FSE會議上獲得傑出審稿人獎。他承擔了優青、青年973、重點研發課題等科研項目。他獲得國家技術發明一等獎（排名6）、電子學會自然科學一等獎（排名1）、CCF-IEEE CS青年科學家獎、MODELS十年最有影響力論文獎，5次獲得ACM SIGSOFT/IEEE TCSE傑出論文獎，是IFIP WG 2.4唯一來自中國的成員。