2023年图灵奖揭晓,Avi Wigderson成为双冠王

文章目录

  • Avi Wigderson
  • 双冠王
  • 个人简介
  • 约翰·纳什
  • 致敬


Avi Wigderson

在这里插入图片描述
2024年4月10日,ACM宣布Avi Wigderson为2023年ACM A.M.图灵奖获得者,以表彰他对计算理论的基础性贡献,包括帮助我们重新理解随机性在计算中的作用,以及他在理论计算机科学领域数十年起到的领导性作用。


双冠王

图灵奖每年都有,2023年的有什么特别?

特别之处在于2023年图灵奖得主 – Avi Wigderson,同时也是2021年阿贝尔奖的得主。这意味着,Avi Wigderson是史上首位阿贝尔奖和图灵奖的双得主

这个到底有多牛?

阿贝尔奖:颁发给在数学领域做出杰出贡献的数学家的年度奖项,阿贝尔奖被广泛认为是数学领域的最高荣誉之一,与菲尔兹奖齐名。

图灵奖:图灵奖是计算机科学领域的最高荣誉,被广泛认为是该领域的“诺贝尔奖”。

阿贝尔奖和图灵奖的双得主,意味着同时获得数学界和计算机科学界的最高荣誉,当之无愧的数学和计算机跨界第一人。


个人简介

Avi Wigderson是普林斯顿高等研究院数学学院的教授,主要的研究方向包括:

  • 随机性和计算性(Randomness and Computation)
  • 算法与优化(Algorithms and Optimization)
  • 复杂性理论(Complexity Theory)
  • Circuit Complexity
  • Proof Complexity
  • 量子计算与通信(Quantum Computation and Communication)
  • 密码学与分布式计算(Cryptography and Distributed Computation)

Avi Wigderson教授的教育经历:

  • 1983年 - 普林斯顿大学电子工程与计算机系计算机科学博士。
  • 1982年 - 普林斯顿大学计算机科学硕士。
  • 1980年 - 以优异成绩获得以色列理工学院计算机科学学士学位。

Avi Wigderson教授获得的主要荣誉:

  • 2024年,计算机协会图灵奖
  • 2023年,以色列理工学院荣誉博士学位
  • 2023年,Edsger W. Dijkstra分布式计算奖
  • 2021年,阿贝尔奖,挪威科学与文学院
  • 2019年,唐纳德·e·高德纳奖,计算机协会(ACM-SIGACT)
  • 2018年,ACM院士,计算机协会(ACM- sigact)
  • 2013年,美国国家科学院院士
  • 2011年,美国艺术与科学院院士
  • 2008年,美国数学学会科南特奖
  • 1994年,获约拉姆·本·波拉特总统杰出研究员奖
  • 1994年,国际数学联合会奈万林纳奖
  • 1989年,伯格曼奖学金
  • 1982-83年,普林斯顿大学IBM研究生奖学金
  • 1977-80年,以色列理工学院校长卓越名单

更多信息参考Avi Wigderson教授的个人简历


约翰·纳什

在这里插入图片描述
为什么提到约翰·纳什?

Avi Wigderson虽然是史上首位阿贝尔奖和图灵奖的双得主,但不是唯一一个在两个领域都拿到最高荣誉的人。

比Avi Wigderson更早,约翰·纳什同时获得了诺贝尔经济学奖(1994 年)和阿贝尔奖(2015 年)。

约翰·纳什的经历更为传奇,他是奥斯卡获奖影片《美丽心灵》的主人公、博弈论大师和著名数学家。纳什与数学家路易·尼伦伯格(Louis Nierenberg)一起荣获2015年阿贝尔奖,表彰他对非线性偏微分方程的杰出贡献。然而,在领奖后不到两个月,纳什和他的妻子都死于车祸。


致敬

最后,让我们向为人类科技文明作出突出贡献的大师们致敬。

阿贝尔奖获奖者名单

年份获奖者国籍获奖理由
2003让-皮埃尔·塞尔法国对拓扑学、代数几何和数论的开创性贡献
2004迈克尔·阿蒂亚爵士英国对拓扑学、几何和数学物理的开创性贡献
2005彼得·拉克斯美国对偏微分方程和几何分析的开创性贡献
2006伦纳德·西蒙斯美国对代数几何和数论的开创性贡献
2007斯尔瓦·阿克塞尔罗德美国对算子代数和算子代数动力系统理论的开创性贡献
2008约翰·格里格斯·汤普森美国对群论的开创性贡献
2009迈克尔·哈里什-钱德拉美国对表示论和谐分析的开创性贡献
2010恩里科·邦别里意大利对偏微分方程、几何分析和拓扑学的开创性贡献
2011约翰·米尔诺美国对拓扑学、几何和动力系统理论的开创性贡献
2012恩德雷·塞梅雷迪匈牙利对组合学、计算机科学和数论的开创性贡献
2013皮埃尔·德利涅比利时对代数几何、数论和表示论的开创性贡献
2014雅各·吕斯特·米尔诺美国对动力系统理论、几何拓扑和低维拓扑的开创性贡献
2015约翰·纳什美国对微分几何、偏微分方程和博弈论的开创性贡献
2016安德鲁·怀尔斯英国对数论的开创性贡献,特别是证明了费马大定理
2017伊夫·梅耶法国对小波理论和多重尺度分析的开创性贡献
2018阿克沙伊·文卡泰什澳大利亚、印度对数论、表示论和同调代数的开创性贡献
2019卡罗琳娜·卢埃拉斯哥伦比亚、美国对代数几何和交换代数的开创性贡献
2020希拉·库拉科蒂美国对数论、代数几何和表示论的开创性贡献
2021拉斯洛·洛瓦兹,Avi Wigderson匈牙利,以色列对理论计算机科学和离散数学的基础性贡献
2022丹尼斯·萨利文美国对拓扑学、几何和动力系统理论的开创性贡献
2023埃马纽埃尔·坎德斯法国、美国对压缩感知、凸优化和数学图像处理的开创性贡献

图灵奖获奖者名单

年份获奖者国籍获奖理由
1966艾伦·佩利斯美国编译器原理的开创性贡献
1967莫里斯·威尔克斯英国存储程序计算机 EDSAC 的设计和建造
1968理查德·汉明美国数值分析方法、编码理论和错误检测和纠正代码的开创性贡献
1969马文·明斯基美国人工智能领域的基础性工作
1970詹姆斯·威尔金森英国数值线性代数和数值分析软件的开创性贡献
1971约翰·麦卡锡美国人工智能领域的基础性工作,包括 LISP 编程语言的开发
1972艾兹格·迪杰斯特拉荷兰算法设计和编程语言的开创性贡献
1973罗伯特·弗洛伊德美国算法分析和设计方法的开创性贡献
1974唐纳德·克努斯美国计算机编程艺术的开创性贡献,特别是《计算机程序设计艺术》系列丛书
1975艾伦·纽厄尔、赫伯特·西蒙美国人工智能领域的基础性工作,特别是通用问题求解器 (GPS) 的开发
1976迈克尔·拉宾、戴娜·斯科特美国自动机理论和形式语义学的开创性贡献
1977约翰·巴克斯美国关系数据库管理系统 (RDBMS) 的开创性贡献
1978罗伯特·卡恩、文顿·瑟夫美国TCP/IP 协议的开发,该协议是互联网的基础
1979肯尼斯·汤普森、丹尼斯·里奇美国UNIX 操作系统和 C 编程语言的开发
1980尼克劳斯·维尔特瑞士面向对象编程语言 Pascal 的开发
1981埃德加·科德美国关系数据库理论的开创性贡献
1982斯蒂芬·库克加拿大计算复杂性理论的开创性贡献,特别是 NP 完全性的概念
1983巴顿·库珀·兰德尔美国分布式计算理论和实践的开创性贡献
1984尼克劳斯·维尔特瑞士面向对象编程语言 Modula-2 的开发
1985理查德·卡普美国算法设计和分析方法的开创性贡献
1986约翰·霍普克罗夫特、罗伯特·塔扬美国算法和数据结构的开创性贡献
1987约翰·巴克斯美国数据库系统研究的持续贡献
1988艾弗里·霍普克罗夫特美国算法和数据结构的开创性贡献
1989威廉·卡汉美国数值分析软件的开创性贡献
1990费尔南多·科巴托美国分时操作系统和计算机网络的开创性贡献
1991罗宾·米尔纳英国并发性和过程演算理论的开创性贡献
1992巴特勒·兰普森美国分布式计算系统和安全性的开创性贡献
1993尤里斯·哈特马尼斯、理查德·斯特恩斯美国计算复杂性理论的开创性贡献
1994爱德华·费根鲍姆、拉杰·雷迪美国专家系统的开创性贡献
1995马努埃尔·布鲁姆美国密码学和计算复杂性理论的开创性贡献
1996阿米尔·潘迪美国分布式计算算法和理论的开创性贡献
1997道格拉斯·恩格尔巴特美国交互式计算和图形用户界面的开创性贡献
1998詹姆斯·格雷美国数据库系统研究的持续贡献
1999弗雷德里克·布鲁克斯美国软件工程的开创性贡献
2000安德鲁·姚美国、中国计算复杂性理论、密码学和通信复杂性的开创性贡献
2001奥勒-约翰·达尔、克里斯滕·尼高、比雅尼·斯特劳斯特鲁普挪威、丹麦面向对象编程语言 C++ 的开发
2002罗纳德·里维斯特、阿迪·萨莫尔、伦纳德·阿德曼美国RSA 公钥加密算法的开发
2003阿伦·凯美国面向对象编程语言 Smalltalk 的开发和面向对象编程范式的推广
2004温顿·瑟夫、马文·明斯基美国互联网和人工智能领域的持续贡献
2005彼得·诺尔英国分布式计算系统和容错计算的开创性贡献
2006爱德蒙·克拉克、艾伦·艾默生、约瑟夫·西法基斯美国、英国、希腊模型检验的开发,这是一种用于验证并发系统的形式化方法
2007艾伦·凯美国Dynabook 个人计算机概念的开发和面向对象编程范式的推广
2008芭芭拉·利斯科夫美国面向对象编程语言 CLU 的开发和数据抽象概念的推广
2009查尔斯·佩奇、谢尔盖·布林美国搜索引擎 Google 的开发
2010莱斯利·瓦利安特英国算法理论和计算复杂性理论的开创性贡献
2011朱迪·雷斯尼克美国分布式计算系统和容错计算的开创性贡献
2012席尔瓦·潘特美国计算机图形学和计算机视觉领域的开创性贡献
2013莱斯利·兰波特美国分布式计算系统和容错计算的开创性贡献
2014迈克尔·斯通布雷克美国数据库系统研究的持续贡献
2015马丁·赫尔曼美国公钥密码学和数字签名领域的开创性贡献
2016蒂姆·伯纳斯-李英国万维网 (WWW) 的发明
2017约翰·莱克劳美国人工智能和机器学习领域的开创性贡献
2018约舒亚·本吉奥、杰弗里·辛顿、杨立昆加拿大、美国深度学习领域的基础性工作
2019帕特里夏·豪兰德、温顿·瑟夫美国互联网的持续发展和全球互联网工程任务组 (IETF) 的领导
2020阿尔弗雷德·艾霍美国编译器设计和编程语言理论的开创性贡献
2021杰克·东加拉美国高性能计算和线性代数库的开创性贡献
2022杰弗里·乌尔曼美国关系数据库理论和系统实现的开创性贡献

如果喜欢这篇文章,请不要忘记关注、点赞和收藏哦!
您的鼓励将是我创作的最大动力!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/574240.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

第一届长城杯半决赛wp和AWD笔记

目录 AWD 渗透 cfs 单节点1 AWD笔记 AWD工具 文件比较工具 Web漏洞扫描工具 waf工具 代码审计工具 批量网站备份文件泄露扫描工具 cms通杀漏洞的利用 通杀脚本和批量提交flag脚本 防御流程 攻击流程 注意 AWD 解题思路] 首先就是fscan快速扫描对应C段&#xf…

【Qt 学习笔记】Qt常用控件 | 显示类控件 | LCD Number的使用及说明

博客主页:Duck Bro 博客主页系列专栏:Qt 专栏关注博主,后期持续更新系列文章如果有错误感谢请大家批评指出,及时修改感谢大家点赞👍收藏⭐评论✍ Qt常用控件 | 显示类控件 | LCD Number的使用及说明 文章编号&#xf…

贪吃蛇的C语言实现

目录 一、游戏流程设计 二、游戏实现原理 2.1如何创建并管理数据 2.2如何实现蛇身移动 2.3如何实现食物随机放置 2.4如何检测按键与调整光标位置 三、源代码 3.1 test.c 3.2 snake.h 3.3 snake.c 一、游戏流程设计 GameStart WelcomeToGame:打印欢迎界面…

架构师系列-消息中间件(九)- RocketMQ 进阶(三)-消费端消息保障

5.2 消费端保障 5.2.1 注意幂等性 应用程序在使用RocketMQ进行消息消费时必须支持幂等消费,即同一个消息被消费多次和消费一次的结果一样,这一点在使用RoketMQ或者分析RocketMQ源代码之前再怎么强调也不为过。 “至少一次送达”的消息交付策略&#xff…

开启医疗数据新纪元:山海鲸可视化智慧医疗解决方案

在数字化浪潮席卷而来的今天,智慧医疗作为医疗行业的创新力量,正以其独特的技术优势,推动着医疗服务的升级和变革。而在这场变革中,山海鲸可视化以其出色的数据可视化能力,为智慧医疗提供了强大的技术支持,…

用Python和Pygame实现简单贪吃蛇游戏

1.pip安装pygame pygam插件安装 pip install 插件名字 # 安装 pip uninstall 插件名字 # 卸载 pip install 插件名字 -i 指定下载的镜像网址 pip show 插件名字 # 查看插件名字 pip install pygame -i https://pypi.tuna.tsinghua.edu.cn/simple pip show p…

【网络编程】网络编程概念 | TCP和UDP的区别 | UDP数据报套接字编程 | Socket

文章目录 网络编程一、什么是网络编程1.TCP和UDP的区别 二、UDP数据报套接字编程DatagramSocketDatagramPacket回显服务器(echo server) 网络编程 一、什么是网络编程 通过网络,让两个主机之间能够进行通信。基于通信来完成一定的功能。 ​…

MacOS 下gif 文件的几种压缩方法

categories: Tips tags: Tips GIF 写在前面 最近想转换几个 tg 的 tgs 文件到 gif, 然后上传到微信, 所以又涉及到了 gif 的操作了. 工具介绍 安装 brew install imagemagick gifsicleimagemagick 是专业的图像处理工具, gifsicle 是专门处理 gif 的小工具 ,都是开源的. …

C++之AVL树的使用以及原理详解

1.AVL树 1.1AVL树的概念 1.2AVL树的定义 1.3AVL树的插入 1.4AVL树的旋转 1. 右单旋 2. 左单旋 3. 左右双旋 4. 右左双旋 1.5AVL树的验证 1.6AVL的实现 在之前对map/multimap/set/multiset进行了简单的介绍(C之map_set的使用-CSDN博客),…

说说2024年暑期三下乡社会实践工作新闻投稿经验

作为一名在校大学生,我有幸自去年起参与学院组织的暑期大学生三下乡社会实践团活动。这项活动不仅是我们深入基层、服务社会的重要平台,也是展现当代大学生风采、传递青春正能量的有效途径。然而,如何将这些生动鲜活的实践故事、感人至深的瞬间传播出去,让更多人了解并受到启发…

火绒安全的应用介绍

火绒安全软件是一款集成了杀毒、防御和管控功能的安全软件,旨在为用户提供全面的计算机安全保障。以下是火绒安全软件的一些详细介绍: 系统兼容性强:该软件支持多种操作系统,包括Windows 11、Windows 10、Windows 8、Windows 7、…

xgp加速器免费 微软商店xgp用什么加速器

2001年11月14日深夜,比尔盖茨亲自来到时代广场,在午夜时分将第一台Xbox交给了来自新泽西的20岁年轻人爱德华格拉克曼,后者在回忆中说:“比尔盖茨就是上帝。”性能超越顶级PC的Xbox让他们趋之若鹜。2000年3月10日,微软宣…

25-代码随想录第454题.四数相加II

25-代码随想录第454题.四数相加II 给定四个包含整数的数组列表 A , B , C , D ,计算有多少个元组 (i, j, k, l) ,使得 A[i] B[j] C[k] D[l] 0。 为了使问题简单化,所有的 A, B, C, D 具有相同的长度 N,且 0 ≤ N ≤ 500 。所有整数的范…

python 笔记ast.literal_eval

1 介绍 ast.literal_eval 是 Python 标准库 ast 模块中的一个函数,用于安全地评估表示 Python 字面量或容器(如列表、字典、元组、集合)的字符串 import ast # 解析并执行一个数字表达式 num ast.literal_eval("3.14") prin…

OpenFeign微服务调用组件!!!

1.Feign是什么 GitHub - OpenFeign/feign: Feign makes writing java http clients easierFeign makes writing java http clients easier. Contribute to OpenFeign/feign development by creating an account on GitHub.https://github.com/OpenFeign/feignFeign是Netflix开…

项目十一:爬取热搜榜(小白实战级)

首先,恭喜各位也恭喜自已学习爬虫基础到达圆满级,今后的自已python爬虫之旅会随着网络发展而不断进步。回想起来,我学过请求库requests模块、解析库re模块、lmxl模块到数据保存的基本应用方法,这一次的学习python爬虫之旅收获很多…

Vu3+QuaggaJs实现web页面识别条形码

一、什么是QuaggaJs QuaggaJS是一个基于JavaScript的开源图像识别库,可用于识别条形码。 QuaggaJs的作用主要体现在以下几个方面: 实时图像处理与识别:QuaggaJs是一款基于JavaScript的开源库,它允许在Web浏览器中实现实时的图像…

ASP.NET Core 3 高级编程(第8版) 学习笔记 03

本篇介绍原书的第 18 章,为 19 章 Restful Service 编写基础代码。本章实现了如下内容: 1)使用 Entity Framework Core 操作 Sql Server 数据库 2)Entity Framework Core 数据库迁移和使用种子数据的方法 3)使用中间件…

Qt Quick centerIn和fill 的用法

1)Qt Quick centerIn和fill 的用法: import QtQuick 2.5 Rectangle { width:300; height:200; Rectangle { color: "blue"; anchors.fill: parent; border.width: 6; border.co…

详解工业网关在线探测功能及用途

工业网关专为工业物联网应用设计,可实现包括不同通讯协议之间的兼容和转换,提供软硬件加密保障工业数据安全传输,发挥强大算力实现数据边缘预处理,联动联调工业网络设备实现高效协同等。在线探测功能是佰马工业网关的一项重要功能…