近段时间，IEEE 与 ACM 开始陆续公布各大奖项，海内外的多位知名学者入选。
5 月 24 日，IEEE 电路与体系（CAS）学会将 2021 年度 IEEE CAS Mac Van Valkenburg 奖授予中国科学手艺大学吴枫教授，以表彰他对「多媒体非均匀编码和通信的奉献」，这是该奖项历史上首次颁发给中国大陆的学者。
ACM（Association for Computing Machinery）也于今日宣布了四项著名手艺奖的获得者，这四个奖项包罗 ACM Grace Murray Hopper 奖、ACM 软件体系奖、ACM Paris Kanellakis Theory and Practice 奖、ACM – AAAI 艾伦 · 纽厄尔奖。以表彰他们在无电池通信、实际计算机科学和软件体系等范畴的奉献。
以下我们对相关奖项做具体介绍。
吴枫教授获 IEEE CAS Mac Van Valkenburg 奖
IEEE CAS Mac Van Valkenburg 奖设立于 1985 年，是 IEEE CAS 的最高学术荣誉。该奖项基本每年授予一人，在历年获奖名单中，三分之二来自欧美国家，此外海外华人学者 Ruey-Wen Liu (2007)、Ming-Lei Liou (2000)、Bede Liu (1997) 等曾获得过该奖项，这是该奖项时隔十四年后再次颁发给华人学者。
个人主页：https://eeis.ustc.edu.cn/2014/0423/c2648a20109/page.htm
吴枫教授为中国科学手艺大学电子工程与信息科学系教授、博士生导师，IEEE Fellow。1992 年毕业于西安电子科技大学，获工学学士学位；于 1996 年和 1999 年毕业于哈尔滨工业大学，分别获得工学硕士和博士学位。在加入中国科学手艺大学之前，曾历任微软亚洲研究院研究员、主任研究员、首席研究员。
主要研究方向包罗：视频编码与通信、多媒体内容分析、计算机视觉等。已发表 IEEE TCSVT、IEEE TIP 等 IEEE 会刊论文 44 篇，MOBICOM、CVPR 等中国计算机学会认定的 A 类国际会议论文 12 篇，并荣获 IEEE TCSVT 2009 年最佳期刊论文奖，PCM 2008 和 VCIP 2007 国际会议最佳论文奖。担任 IEEE TCSVT 和 IEEE TMM 编委，国际会议 IEEE MMSP 2011、IEEE VCIP 2010 和 PCM 2009 程序委员会主席。
吴枫教授对国内外视频编码标准的发展做出了重要的奉献，先后有 15 项手艺提案被 MPEG-4、H.264 和 H.265 等视频编码国际标准所采纳。曾任中国 AVS 视频编码组组长（2002-2004），完成了中国 AVS 视频编码标准 1.0 的手艺制定，并于 2006 年被批准为中国国家标准，因对国家视频编码标准的手艺奉献荣获 2006 年国家手艺发明二等奖。作为发明人在视频、图像和数据编码方面已授权美国发明专利 77 项。
ACM Grace Murray Hopper 奖获得者
ACM Grace Murray Hopper 奖授予年度杰出年轻计算机专业人员，该奖项是根据近期一项主要的手艺或服务奉献而选定的。该奖项还附有 35,000 美元的奖金。候选人龄必须在 35 岁或以下。Microsoft 为该奖项提供了资金支持。
来自华盛顿大学的 Shyamnath Gollakota 获得了 2020 ACM Grace Murray Hopper 奖，以表彰他对无线信号在创造新应用方面的奉献，包罗无电池通信、健康监测、手势识别和基于生物无线传感。
Gollakota 将这项手艺定义为环境反向散射（ambient backscatter），这是一种机制，通过这种机制，一个无电源、无电池的设备可以收集环境中现有的无线信号（如广播电视或 WiFi）以获取能量，并使用它来传输编码数据。此外，Gollakota 还开发了一些手艺，可以利用智能手机发出的声纳信号来支持医疗保健应用。这方面的例子包罗检测和诊断呼吸异常，如呼吸暂停，检测耳朵感染，甚至检测危及生命的阿片类药物过量。这些创新有可能改变未来医疗保健体系的设计和交付方式，其中一些工作目前正在商业化以供实际使用。
Gollakota 还开辟了一个新的范畴，即连接在昆虫上的超轻移动传感器和控制器，展示了无线手艺如何从微小昆虫的背部传输视频数据。一些观察家认为，这可能是创造生物物联网的第一步，在生物物联网中，昆虫被用作移动传感器的运载工具。
ACM 软件体系奖获得者
ACM 软件体系奖授予机构或个人，获奖者开发的软件体系需要具有持久的影响力，反映在对概念的奉献，在商业接受上的程度，或者两者都有。软件体系奖的奖金为 35,000 美元。IBM 为软件体系奖提供了资金支持。
来自英属哥伦比亚大学 Margo Seltzer；Mike Olson，曾任职于 Cloudera；Keith Bostic，MongoDB 这三人因在 Berkeley DB 的突出奉献而获得了 ACM 软件体系奖。这是 NoSQL 运动的早期典范，并且开创了「dual-license」方法进行软件许可。
自 1991 年以来，Berkeley DB 一直是现代互联网的基础力量：它几乎是每一个 POSIX 或类似 POSIX 的体系的一部分，也是 GNU 标准 C 库（glibc）和许多高级脚本语言的一部分。Berkeley DB 是一系列第一代和第二代互联网服务的交易密钥 / 值存储，包罗账户管理、邮件和身份服务器、在线交易平台和许多其他软件即服务平台。
作为一个开源软件包，Berkeley DB 是一个非常有价值的教学工具。它的代码是干净的、结构良好的、文档化的。
正如最初由 Seltzer、Olson 和 Bostic 创建的那样，Berkeley DB 是作为「加利福尼亚大学第四次伯克利软件发行」的一部分发行的。Seltzer 和 Bostic 随后于 1996 年成立了 Sleepycat Software 公司，继续开发 Berkeley DB 并提供商业支持。Olson 于 1997 年加入，10 年来，Berkeley DB 实际上是主要网络基础设施的数据仓库。它帮助发起了 NoSQL 运动；作为亚马逊 Dynamo 和密歇根大学 SLAPD 服务器背后的引擎，Berkeley DB 帮助非关系型数据库进入公众视野。
Sleepycat Software 开创了软件许可的「dual-license」模式：在开源应用程序中的使用和重新分发始终是免费的，公司可以挑选商业许可以进行支持或将 Berkeley DB 作为专有软件包的一部分进行分发。这种模式为其他一些开源公司指明了方向，这种创新已经在开源社区中被广泛采用。
卡内拉克斯实际与实践奖获得者
卡内拉克斯实际与实践奖旨在表彰那些在特定实际方面具有突出奉献的学者。该奖项的奖金为 10,000 美元，由 Kanellakis 家族捐赠，并由计算机协会的算法和计算实际特别兴趣小组（SIGACT）、设计自动化（SIGDA），数据管理（SIGMOD）、编程语言（SIGPLAN），ACM SIG 项目基金以及个人捐款提供额外资金支持。
Yossi Azar，特拉维夫大学 ；Andrei Broder ，Google 研究院；Anna Karlin，华盛顿大学；Michael Mitzenmacher，哈佛大学；Eli Upfal，布朗大学这几位学者因发现和分析均衡分配（两种挑选的力量，power of two choices）及其在实践中的广泛应用而获得了卡内拉克斯实际与实践奖。
Azar、Broder、Karlin、Mitzenmacher 和 Upfal 引入了「均衡分配（Balanced Allocations）」框架，也称为两种挑选范式的力量（power of two choices paradigm），这是一种优雅的实际著作，在实践中产生了广泛的影响。
当 n 个球被扔进随机均匀挑选的 n 个箱子时，众所周知，任何箱上的最大负载都受到（lg n / lg lg n）（1 + o（1））的限制。Azar、Broder、Karlin 和 Upfal（STOC 1994）证明，增加一点挑选会带来很大的不同。投掷每个球时，与其随机挑选一个箱子，不如随机挑选两个箱子，然后将球放在负荷较小的箱中。微小的变化带来了指数级的改进；现在很有可能，任何箱中的最大负载都由（lg lg n / lg 2）+ O（1）限制。
在同样的工作中，他们已经证明，如果每个球都有 d 个挑选，那么最大负载很有可能下降到（ln ln n/ ln d)+O(1)。这些结果被 Mitzenmacher 在他 1996 年的博士论文中大大扩展，在那里他去掉了顺序设置，并开发了一个在排队体系中使用两种挑选的力量（power of two choices）的框架。
ACM – AAAI 艾伦 · 纽厄尔奖获得者
ACM – AAAI 艾伦 · 纽厄尔奖颁发给为计算机科学范畴和其他范畴搭起桥梁做出突出奉献的研究者，该奖项由 ACM 和人工智能促进协会（AAAI）及个人捐款提供 10,000 美元的奖金。
Hector Levesque 多伦多大学
获奖原因：Hector Levesque 对学问表征和推理及其在实际计算机科学、数据库、机器人手艺和布尔可满足性等范畴的广泛影响做出了重要奉献。
Levesque 因其对逻辑启发型人工智能和计算机科学中多个子学科的杰出奉献而受到赞誉。他的工作推动了认知机器人手艺，多智能体体系，实际计算机科学和数据库体系以及哲学和认知心理学等范畴的发展。这些启发了语义网和自动考证等实际。他被国际公认为是 AI 范畴最深刻的思想家之一，他的研究启发了 AI 先驱 Alan Newell。
在表征研究方面，Levesque 致力于与人工和自然智能体有关的几个概念的形式化，包罗信念，目标，意图，能力以及学问，知觉和行动之间的相互作用。
在推理研究方面，他的研究集中于如何使自动推理在计算上易于处理，包罗使用贪婪的局部搜索方法。此外，他因对几个新研究范畴的发展做出了重要奉献而受到认可，这些范畴包罗描述逻辑，学问表征的易处理性，可满足性问题以及认知机器人手艺。
Moshe Vardi 莱斯大学
获奖原因：Moshe Vardi 为逻辑的发展和逻辑成为统一的基础框架与计算体系建模工具做出了奉献。
Vardi 的工作推进了许多范畴的发展，包罗数据库实际，程序考证，有限模型实际，学问推理和约束满足。他是逻辑和计算机科学界最有影响力的研究者之一，为计算机科学与其他范畴架起了桥梁。他的主要研究奉献包罗：
数据库的逻辑实际，他致力于研究表达性和计算复杂度之间的权衡，这为完整性约束、查询评估的复杂度、不完整信息处理、数据库更新和数据库中的逻辑编程等方面的工作奠定了基础；
响应式体系（reactive system）的自动实际方法，这为考证程序是否符合其规范奠定了数学基础；
基于他发展的认知逻辑进行的学问推理。
在数据库实际中，Vardi 开发了一种通用数据依赖实际，并找出了公理化和解决决策问题的方法。提出了度量评估查询算法复杂度中两个基本的概念：数据复杂度和查询复杂度。这些概念很快成为该范畴的标准。
在软件和硬件考证方面，Vardi 引入了一种自动机实际方法来考证响应式体系（reactive system），为该范畴带来了新的变革。过去 30 年来，Vardi 的自动机实际方法在该范畴和考证工具的开发中发挥了核心作用。
在学问论方面，Vardi 为多智能体和分布式体系的学问推理奠定了严格的基础，这在许多学科中都是至关重要的问题，他参与撰写的书籍是该范畴的权威资料。
参考链接：https://www.acm.org/media-center/2021/may/technical-awards-2020https://www.acm.org/https://ieee-cas.org/about-cass/awards-and-fellowshttp://news.ustc.edu.cn/info/1055/75280.htm