2023年ACM A.M.Turing奖得主Avi Wigderson

ACM宣布2023 A.M.Turing奖获得者

ACM已经命名的阿维·维格德森作为收件人2023年ACM A.M.Turing奖感谢他对计算理论的基础性贡献,包括重塑我们对计算中随机性作用的理解,以及他在理论计算机科学领域数十年的智慧领导。Wigderson是新泽西州普林斯顿高等研究院数学学院的Herbert H.Maass教授。他在计算复杂性理论、算法和优化、随机性和密码学、并行和分布式计算、组合学和图论方面一直是领先的人物。

ACM提名2023名研究员

ACM提名了68名成员为ACM Fellow,以表彰其在算法设计、计算机图形、网络安全、节能计算、移动计算、软件分析和网络搜索等领域的重要贡献。ACM研究员计划表彰排名前1%的ACM成员在计算和信息技术方面的杰出成就和/或对ACM和更大的计算社区的杰出服务。

ACM提名2023名杰出会员

ACM已提名52人尊敬的各位成员对该领域的杰出贡献。所有2023名入选者都是ACM的长期成员,他们被同龄人挑选出来的一系列成就推动了计算作为一门科学和一门专业的发展。ACM杰出会员计划基于专业经验和在计算领域取得的重大成就,认可了高达10%的ACM全球会员。

美国国家科学基金会支持图灵奖获得者

ACM的A.M.图灵奖(A.M.Turing Award),通常被称为“诺贝尔计算奖”(Nobel Prize of Computing),颁发给那些为计算贡献了持久和重大技术成就的个人。但你知道吗,A.M.Turing奖得主中有一半以上是在职业生涯的某个阶段由美国国家科学基金会资助的?现在,国家科学基金会创建了一个网站,纪念所有a.M.图灵奖获得者、他们的成就以及他们与基金会的关系。请访问网站了解更多信息。

2023年荣获戈登·贝尔奖

来自美国和印度机构的一支800万人的团队被提名为2023年的获胜者ACM戈登·贝尔奖对于项目,“量子精度下的大尺度材料建模:Ab Initio公司金属合金中准晶和相互作用扩展缺陷的模拟它提出了一个框架,将QMB方法提供的精度与密度泛函理论(DFT)的效率结合起来,以在量子精度下访问更大的长度尺度。该奖项是在补充条款23会议。

2022年荣获戈登·贝尔奖

2023年戈登·贝尔气候模型奖

19人的研究团队被授予ACM戈登·贝尔气候建模奖在边界尺度系统上运行的简单解云E3SM大气模型“证明了通过使用exascale超级计算机及其引入的新算法模型,可以实现对深层对流云进行高效准确模拟的长期挑战。该奖项是在补充条款23会议。

纪念:Niklaus Wirth

编程语言先驱、A.M.Turing Laureate Niklaus Wirth于2024年1月1日去世。Wirth创建了Euler和PL360语言,在语法和语义的形式分离方面开辟了新的领域。Wirth与Tony Hoare合作,使用Euler作为Algol-W的基础,而后成为Pascal的基础,为未来几年的计算机语言、系统和体系结构研究奠定了基础。他还推广了“沃思定律”的格言,该格言指出,软件变得更慢的速度比硬件变得更快的速度更快。他曾获得1984年ACM A.M.Turing奖、IEEE Emanuel R.Piore奖和马赛尔·贝努瓦特奖等荣誉。

尼克劳斯·沃斯

Yael Tauman Kalai荣获ACM计算机奖

ACM已命名耶尔·托曼·卡莱,微软研究院高级首席研究员,麻省理工学院(MIT)副教授,2022年获奖者ACM计算机奖在可验证的计算委托和对密码学的基本贡献方面取得突破。卡莱的贡献帮助塑造了现代密码实践,并为进一步发展奠定了坚实的基础。Kalai开发了一些方法来生成简洁的证明,以证明任何计算的正确性。

2022年ACM奖获得者Yael Tauman Kalai

ACM计算机突破奖授予David Papworth

ACM已命名大卫·巴普沃思前英特尔公司(退休),作为ACM Charles P.“Chuck”Thacker计算机突破奖.Papworth因其对英特尔P6无序引擎和超长指令字(VLIW)处理器的突破性贡献而备受赞誉。Papworth是Intel P6(作为Pentium Pro进行商业销售)微处理器的首席设计师,这是相对于现有最先进技术的一大进步,不仅对于Intel,而且对于更广泛的计算机设计社区。

2022年ACM Thacker突破计算奖获得者David Papworth

按需观看:ACM奖项提名多样化

在这个塔皮亚会议小组中,ACM首席执行官Vicki Hanson主持了与ACM奖项委员会联合主席Roy Levin和奖项委员会成员Stephanie Ludi(北德克萨斯大学)和Timothy Pinkston(南加州大学)的讨论关于提名获奖者和ACM高级会员等级(杰出会员和研究员)的需要。这个小组提供了对ACM奖项从提交到选择过程的了解,以及作为一个社区制定提名的具体技巧。

卡尔斯特罗姆教育工作者奖授予迈克尔·卡斯珀森

迈克尔·卡斯珀森奥胡斯大学It-vest常务董事兼名誉教授卡尔·V·卡尔斯特伦杰出教育家奖 由于他对计算机科学教育研究的贡献,他在国家和国际两级推动全民信息学教学的政策工作,以及他对计算机教育界的杰出服务。Caspersen撰写了近70篇关于计算机科学教育的论文,也是一本两卷本编程教科书的合著者,以及关于程序设计教学的思考

ACM Karl V.Karlstrom杰出教育家奖获得者Michael Caspersen的照片

ACM授予Ramesh Jain杰出服务奖

拉梅什·贾恩,加州大学欧文分校教授ACM杰出服务奖成立了ACM多媒体系统特别利益小组(SIGMM),在过去40年中为ACM和计算界提供了卓越的领导和持续的服务。1993年,Jain组织了第一次NSF视觉信息管理系统研讨会。他是第一届ACM多媒体会议的组委会成员之一,为ACM SIGMM的成功成立铺平了道路。

ACM杰出服务奖获得者Ramesh Jain的照片

ACM表彰Joseph Konstan的杰出贡献

约瑟夫·孔斯坦(Joseph A.Konstan),明尼苏达大学教授,获得对ACM的杰出贡献为支持ACM的使命和运营,以及ACM的研究、教育和从业者社区的进步,授予25年的专注服务和领导。Konstan参与ACM的活动已经超过25年:参与、开发和培育新技术领域,在关键工作组和委员会任职,领导ACM的几个主要董事会和工作组。

ACM奖得主约瑟夫·康斯坦杰出贡献照片

杰拉尼·纳尔逊获得2022年ACM尤金·劳勒奖

杰拉尼·纳尔逊,加州大学伯克利分校教授,获得ACM尤金·劳勒计算机科学和信息学人道主义贡献奖 成立和发展AddisCoder,这是一个非盈利组织,为埃塞俄比亚各地服务不足的学生教授编程。AddisCoder带领许多学生接受高等教育并取得成功。Nelson本人不仅是AddisCoder的讲师,他还招募了一支庞大的教师团队,并从政府、行业和学术机构筹集资金来资助该计划。

2022年ACM尤金·劳勒奖获得者杰拉尼·纳尔逊

Mohammad Alizadeh获得ACM Grace Murray Hopper奖

穆罕默德·阿利扎德麻省理工学院是2022年ACM Grace Murray Hopper奖为数据中心网络做出开创性和有影响力的贡献。Alizadeh从根本上改进了数据中心在传输数据时的高效通信方式。他的主要贡献之一是通过突破性的数据中心传输控制协议(DCTCP)控制数据中心网络拥塞和数据包丢失。在最先进的TCP协议不足的数据中心环境中,DCTCP显著提高了性能。

2022年格雷斯·穆雷·霍珀奖得主穆罕默德·阿利扎德

ACM任命Margo Seltzer 2023-2024 Athena讲师

ACM已命名马戈·萨尔策,不列颠哥伦比亚大学教授,2023-2024年ACM雅典娜讲师Seltzer因其在文件和存储系统方面的基础研究、在数据来源方面的开创性研究、在Berkeley DB中有影响力的软件贡献以及对服务和指导的不懈奉献而受到认可。萨尔茨尤其以其在传统上代表性不足的群体中扩大计算机科学参与度的努力而闻名。她还曾担任系统和数据库会议的项目主席,并在众多科学和国家委员会的咨询委员会任职。

2023-2024年ACM Athena讲师Margo Seltzer

Kunle Olukotun获得2023年Eckert-Mauchly奖

昆勒·奥卢科顿,斯坦福大学教授,2023年ACM-IEEE CS Eckert-Mauchly奖在并行系统,特别是多核和多线程处理器的开发中的贡献和领导地位。20世纪90年代初,Olukotun成为一种新型微处理器的领先设计师,这种微处理器被称为“芯片多处理器”,即今天的“多核处理器”。他的工作证明了多核处理器相对于当时现有微处理器设计的性能优势。

2023年Eckert-Mauchly奖获得者Kunle Olukotun

博士学位论文奖表彰年轻研究人员

Aayush耆那教是收件人2022年ACM博士学位论文奖用于从经过充分研究的硬度推测中建立数学上严格的软件混淆的可行性。2022年美国医学会博士论文奖荣誉提名请访问阿兰·苏尔他在康奈尔大学获得博士学位,以及康拉德·瓦特他在剑桥大学获得博士学位。

Aayush Jain、Alane Suhn、Conrad Watt

软件系统奖因开发突破性的高性能操作系统而获得14项

格诺·海泽, 新南威尔士大学; 格温·克莱因,证明;哈维·塔奇谷歌;凯文·埃尔芬斯通新南威尔士大学;琼·安德罗妮克,证明; 大卫·科克苏黎世ETH; 菲利普·德林高通公司; 达米卡·埃尔卡杜威佩拉迪尼亚大学; 凯·恩格尔哈特;托比·穆雷墨尔本大学;拉斐尔·科兰斯基,证明; 迈克尔·诺里什澳大利亚国立大学; 托马斯·苏厄尔剑桥大学;西蒙·温伍德Galois收到ACM软件系统奖 为了开发出第一个具有工业实力、高性能的操作系统,必须对其完整的、经过机械检验的功能正确性进行验证。

2022年ACM软件系统奖得主格诺特·海瑟、格温·克莱恩、哈维·图奇、凯文·埃尔芬斯通、琼·安德罗尼克、大卫·科克、菲利普·德林、达米卡·埃尔卡杜韦、凯·恩格哈特;托比·默里(Toby Murray)、拉斐尔·科兰斯基(Rafal Kolanski)、迈克尔·诺里什(Michael Norrish)、托马斯·苏厄尔(Thomas Sewell)和西蒙·温伍德(Simon Winwood)

BW-transform和FM-index的发明者获得Kanellakis奖

迈克尔·伯罗斯,谷歌;保罗·费拉吉纳,比萨大学;乔瓦尼·曼齐尼,比萨大学,接受ACM Paris Kanellakis理论与实践奖 发明了BW-transform和FM-index,开启并影响了压缩数据结构领域,对数据压缩和计算生物学产生了根本性影响。1994年,Burrows和他的已故合著者David Wheeler发表了他们的论文,描述了革命性的数据压缩算法——“Burrows-Wheeler变换”(BWT)。几年后,Ferragina和Manzini证明可以建立一个“压缩索引”,后来称为FM-index。BW变换的引入和FM-index的发展对算法理论和数据结构产生了深远的影响,并取得了根本性的进步。

2022年ACM Paris Kanellakis奖获得者Michael Burrows、Paolo Ferragina和Giovanni Manzini

ACM、AAAI认可Bernhard Schölkopf和Stuart J.Russell的机器学习和人工智能

伯恩哈德·舍尔科夫、马克斯·普朗克智能系统研究所和苏黎世ETH,以及斯图亚特·罗素加州大学伯克利分校ACM-AAAI Allen Newell奖Schölkopf因其在机器学习中广泛应用的研究而受到认可,他不仅推进了数学基础,而且在科学和工业中广泛应用,并对核心方法和因果关系做出了根本性贡献。Russell因对人工智能的一系列基本贡献而受到认可,涉及逻辑和概率推理、知识表示、机器学习、强化学习和人工智能伦理等广泛领域。

2022年ACM-AAAI Allen Newell奖获得者Bernhard Schölkopf和Stuart J.Russell

ACM、CSTA宣布Cutler-Bell奖学生获得者

ACM和计算机科学教师协会宣布2022-2023名ACM/CSTA高中计算机餐具奖该奖项旨在表彰高中生的计算机科学天赋,并附带10000美元的奖金,他们将在7月举行的CSTA年会上获得该奖项。2022-2023年的接收人是Okezue Bell公司宾夕法尼亚州伯利恒摩拉维亚学院; 内森·埃利亚斯德克萨斯州奥斯汀市文理学院;关汉娜(Hannah Guan)德克萨斯州圣安东尼奥市BASIS San Antonio Shavano;Sirihaasa Nallamothu公司伊利诺伊州师范大学高中。

2022-2023年卡特勒·贝尔奖获得者奥科祖·贝尔、内森·埃利亚斯、汉娜·关、西里哈萨·纳拉莫图

ACM提名2022名研究员

ACM提名57名成员为ACM Fellow,以表彰其在网络安全、人机交互、移动计算和推荐系统等领域的重要贡献。ACM Fellows计划表彰前1%的ACM会员在计算和信息技术方面的杰出成就和/或为ACM和更大的计算社区提供的杰出服务。为了与ACM的全球影响力保持一致,2022年研究员代表加拿大、智利、中国、法国、德国、以色列、荷兰、西班牙、瑞士和美国的大学、企业和研究中心。

SIAM,ACM宣布2023年计算科学与工程奖获得者

SUNDIALS核心开发小组由Carol S.Woodward、Cody J.Balos、Peter N.Brown、David J.Gardner、Alan C.Hindmarsh、Daniel R.Reynolds和Radu Serban组成,是2023年SIAM/ACM计算科学与工程奖 在SIAM的CSE 2021会议上。该团队因非线性和微分/代数方程求解器的创新性研究和开发而获得奖项,该类求解器用于高性能计算,可在科学软件生态系统中提供独特的关键功能。

SUNDIALS核心开发小组

杰弗里·辛顿与人工智能对话60分钟

2018年A.M.图灵奖得主杰弗里·欣顿出现在60分钟讨论人工智能的风险和前景。“人工智能教父”之一辛顿(Hinton)、约舒亚·本吉奥(Yoshua Bengio)和亚恩·勒库恩(Yann LeCun)希望政府、公司和开发商认真考虑安全推进技术的最佳方式。他还认为,人工智能具有利弊兼备的潜力,现在是进行实验以了解人工智能并通过法律以确保技术在道德上得到使用的时候,人工智能确实有潜力有朝一日从人类手中接管。

马克·霍洛维茨获得2022年埃克特·马奇利奖

马克·霍洛维茨,斯坦福大学教授,被任命为2022年ACM-IEEE CS Eckert-Mauchly奖用于为微处理器存储系统作出贡献。霍洛维茨是第一个将处理器到动态随机存取存储器(DRAM)接口确定为需要架构和电路优化的关键瓶颈的人。他开创了高带宽DRAM接口。此外,SDDR和LPDDR等现代DRAM接口也受到了他的技术的强烈影响。

2022年Eckert-Mauchly奖获得者Mark Horowitz

ACM授予朱迪·布鲁尔政策奖

朱迪·布鲁尔接收ACM政策奖感谢她领导Web Accessibility Initiative并制定了多个Web Accessability标准,这些标准已在全球范围内被采用,并改善了全球数百万人的可访问性。布鲁尔领导了包容性网页设计标准和策略的开发,为网页开发人员提供了必要的工具,将万维网的力量和承诺带给数百万人。

ACM政策奖得主朱迪·布鲁尔照片

Keshav Pingali获得Ken Kennedy奖

ACM已命名凯沙夫·平加里,德克萨斯大学奥斯汀分校网格和分布式计算W.A.“Tex”Moncrief主席,2023年 ACM-IEEE CS Ken Kennedy奖肯·肯尼迪奖(Ken Kennedy Award)表彰并行和高性能计算领域的突破性成就。Pingali因其对图形算法等不规则算法的高性能并行计算的贡献而被引用。该奖项将于11月在高性能计算、网络、存储和分析国际会议(SC23).

2023年Ken Kennedy奖得主Keshav Pingali

Jack Dongarra在SC22举办A.M.Turing Award演讲:随需应变

2021年ACM A.M.Turing奖获得者唐加拉补充条款2211月15日,星期二。在这篇文章中,他探讨了高性能计算在过去40年中的变化,展望了未来的趋势,并讨论了如何需要新一代软件库和算法来有效地使用动态、分布式和并行环境。进一步了解Dongarra在ACM AM Turing网站。按需观看他的图灵演讲ACM的YouTube.

2019 AM图灵奖得主Ed Catmull和Pat Hanrahan在SIGGRAPH 2022上发表了图灵演讲-观看录音

埃德·卡特穆尔帕特·汉拉罕收到了2019年ACM A.M.Turing奖对三维计算机图形的基本贡献,以及这些技术对电影制作和其他应用中计算机生成图像(CGI)的革命性影响。他们于2022年8月8日星期一在SIGGRAPH 2022上发表了图灵讲座《着色语言与可编程图形系统的出现》和《计算机图形的狂野、意外、指数穿越》。查看录制内容.

ACM A.M.Turing奖

Jack J.Dongarra-2021年ACM A.M.Turing奖

杰克·J·东加拉田纳西大学和橡树岭国家实验室收到2021年ACM A.M.Turing奖感谢对数值算法和库的开创性贡献,这些算法和库使高性能计算软件能够跟上40多年来指数级硬件改进的步伐。

阿尔弗雷德·阿霍(Alfred Aho)和杰弗里·厄尔曼(Jeffrey Ullman)——2020年ACM A.M.图灵奖

阿尔弗雷德·阿霍哥伦比亚大学名誉教授乌尔曼,斯坦福大学名誉教授获得2020年ACM A.M.Turing奖学习编程语言实现的基本算法和理论,并将这些结果和其他结果综合在他们极具影响力的书籍中,这些书籍教育了几代计算机科学家。

Ed Catmull和Pat Hanrahan-2019年ACM A.M.Turing奖

埃德·卡特穆尔,计算机科学家,皮克斯和迪士尼动画工作室前总裁,以及帕特·汉拉罕,皮克斯公司的创始员工,斯坦福大学教授2019年ACM A.M.Turing奖对三维计算机图形的基本贡献,以及这些技术对电影制作和其他应用中计算机生成图像(CGI)的革命性影响。

Yoshua Bengio、Geoffrey Hinton和Yann LeCun——2018年ACM A.M.Turing奖

本吉奥蒙特利尔大学,杰弗里·希尔顿谷歌,以及燕乐存Facebook的收到了2018年ACM A.M.Turing奖在概念和工程上取得突破,使深层神经网络成为计算的关键组成部分。

约翰·亨尼西(John Hennessy)和大卫·帕特森(David Patterson)——2017 ACM A.M.Turing奖

汉尼斯,斯坦福大学前校长,以及大卫·A·帕特森他是加州大学伯克利分校的退休教授,因开创了对微处理器行业具有持久影响的计算机体系结构设计和评估的系统化、定量方法,荣获2017年ACM A.M.Turing奖。

Tim Berners-Lee爵士——2016年ACM A.M.Turing奖

李爵士麻省理工学院和牛津大学获得2016年ACM A.M.Turing奖发明了万维网,第一个网络浏览器,以及允许网络扩展的基本协议和算法。

图灵桂冠聚光灯

ACM A.M.Turing奖是计算机界最负盛名的荣誉,它表彰了为该领域做出持久重大贡献的个人。在这里,我们回顾了一些继续影响我们生活的技术和突破,以及帮助塑造这些技术和突破的杰出创新者。 

庆祝ACM图灵奖50周年

2017年6月23日和24日,ACM在旧金山的威斯汀圣弗朗西斯举行了一次会议,庆祝图灵奖50周年。主题演讲和小组讨论突出了图灵奖得主对计算和社会的贡献所产生的重大影响,并展望了技术和创新的未来。 你可以在这里观看这些历史性演讲的视频