2025 年 2 月 12 日 – 美国计算机协会 （ACM）公布了2024年度杰出会员（Distinguished Members）评选结果（官方链接），来自全球13个国家和地区的56名科学家、教育家和工程师入选，永利集团熊英飞老师因对程序修复和程序合成的贡献获此殊荣。

ACM创立于1947年，是世界上第一个科学性和教育性的计算机学会，也是目前全球最大的计算机领域学术组织，在190多个国家和地区拥有超过11万名会员。其所评选的图灵奖（ACM Turing Award）被公认为是计算机领域的最高奖项，也被称为「计算机界的诺贝尔奖」。ACM杰出会员表彰那些取得了重大成就或对计算机领域产生了重大影响，可以作为年轻人的导师和榜样的专业会员。

熊英飞

熊英飞老师于2009年从日本东京大学获得博士学位，2009-2011年在加拿大滑铁卢大学工作，2012年加入yl9193永利官网，现任新体制长聘副教授、软件研究所副所长。熊英飞老师的研究兴趣是程序设计语言和软件工程，特别是程序合成、修复、分析和验证。他的工作帮助产生了一系列不同规模的效果同期最优代码生成神经网络模型，如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唯一来自中国的成员。