机器之心报道

编辑:陈萍、小舟

5 月 24 日,IEEE 电路与系统(CAS)学会将 2021 年度 IEEE CAS Mac Van Valkenburg 奖授予中国科学技术大学吴枫教授,以表彰他对「多媒体非均匀编码和通信的贡献」,时隔不久,5 月 26 日,计算机协会(Association for Computing Machinery)宣布了四项著名技术奖的获得者。

近段时间,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 为多智能体和分布式系统的知识推理奠定了严格的基础,这在许多学科中都是至关重要的问题,他参与撰写的书籍是该领域的权威资料。