弗洛伊德算法精选好句55句
1、年彼得·诺尔Algol60语言。
2、年史提芬·古克计算复杂度。1983年肯·汤普逊,丹尼斯·里奇UNIX操作系统和C语言。
3、年爱德蒙·克拉克,艾伦·爱默生,约瑟夫·斯发基斯开发自动化方法检测计算机硬件和软件中的设计错误。
4、年阿米尔·伯努利时序逻辑，程序与系统验证。
5、年迈克尔·拉宾,达纳·斯科特非确定性自动机。
6、年艾伦·佩利高级程序设计技巧，编译器构造。
7、年芭芭拉·利斯科夫编程语言和系统设计的实践与理论。
8、年理查德·卡普算法理论，尤其是NP-完全性理论。
9、年约书亚·本希奥,杰弗里·辛顿,杨立昆深度学习。
10、年约翰·巴克斯高级编程系统，程序设计语言规范的形式化定义1978年罗伯特·弗洛伊德设计高效可靠软件的方法学
11、年阿尔佛雷德·艾侯,杰弗瑞·乌尔曼对程序语言实现的基础性算法和理论的贡献。
12、年惠特菲尔德·迪菲,马丁·赫尔曼发明迪菲-赫尔曼密钥交换，对公开密钥加密技术有重大贡献。
13、年姚期智计算理论，包括伪随机数生成，密码学与通信复杂度。
14、年莫里斯·威尔克斯存储程序式计算机EDSAC，EDSAC2，程序库。
15、年查尔斯·萨克尔帮助设计、制造第一款现代PC。
16、年莱斯利·瓦伦特对众多计算理论所做的变革性的贡献。
17、年詹姆斯·尼古拉·格雷数据库与事务处理。
18、年艾兹格·迪科斯彻程序设计语言的科学与艺术。
19、年东尼·霍尔程序设计语言的定义与设计。
20、年莎菲·戈德瓦塞尔,希尔维奥·米卡利在密码科学领域里，于复杂理论的基础之上，做出变革性工作；并领先发展出新的具有数学可证明性的有效验证机制。
21、年尤里斯·哈特马尼斯,理查德·斯特恩斯计算复杂度理论。
22、年朱迪亚·珀尔通过概率论和因果推理对人工智能领域作出的根本性贡献。
23、年巴特勒·兰普森分布式，个人计算环境。
24、年查理士·巴赫曼数据库技术。
25、年莱斯利·兰波特对于分布式及并形系统的理论与实践具有基础性贡献，尤其是诸如因果逻辑时序（causalityandlogicalclocks）、安全性与存活度（safetyandliveness）、复制状态机（replicatedstatemachines）及循序一致性（sequentialconsistency）等理论概念的发明。
26、年爱德华·费根鲍姆,拉吉·瑞迪大规模人工智能系统。
27、年弗雷德里克·布鲁克斯计算机体系结构，操作系统，软件工程。
28、年法兰西斯·艾伦优化编译器。
29、年曼纽尔·布卢姆计算复杂度理论，及其在密码学和程序校验上的应用。
30、年高德纳算法分析、程序设计语言的设计、程序设计。
31、年肯尼斯·艾佛森程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践。
32、年艾伦·凯面向对象编程。
33、年尼克劳斯·维尔特程序设计语言设计、程序设计。
34、年约翰·麦卡锡人工智能。
35、年艾伦·纽厄尔,赫伯特·西蒙人工智能，人类认知心理学和列表处理（listprocessing）。
36、图灵奖获得者
37、年詹姆斯·维尔金森数值分析，线性代数，倒退错误分析。
38、图灵奖一般在每年3月下旬颁发。从1966年至2020年，图灵奖共授予74名获奖者，以美国、欧洲科学家为主。2000年，华人科学家姚期智获图灵奖，是华人第一次也是唯一一次获得图灵奖。
39、图灵奖（TuringAward），全称A.M.图灵奖（ACMA.MTuringAward），是由美国计算机协会（ACM）于1966年设立的计算机奖项，名称取自艾伦·麦席森·图灵（AlanM.Turing），旨在奖励对计算机事业作出重要贡献的个人。图灵奖对获奖条件要求极高，评奖程序极严，一般每年仅授予一名计算机科学家。图灵奖是计算机领域的国际最高奖项，被誉为“计算机界的诺贝尔奖”。
40、年约翰·轩尼诗,大卫·帕特森开创了一种系统的、定量的方法来设计和评价计算机体系结构，并对微处理器行业产生了持久的影响。
41、年费尔南多·考巴托CTSS和Multics。
42、年罗纳德·李维斯特,阿迪·萨莫尔,伦纳德·阿德曼公钥密码学（RSA加密算法）。
43、年约翰·霍普克洛夫特,罗伯特·塔扬算法和数据结构的设计与分析。
44、年艾德文·卡特姆,帕特里克·汉拉恩对于3D计算机图形学的基本贡献，以及这些技术对电影制作和其他应用中的计算机生成图像（CGI）的革命性影响。
45、年马文·闵斯基人工智能。
46、年迈克尔·斯通布雷克对现代数据库的概念和实践作出的根本性贡献。
47、年文特·瑟夫,罗伯特·卡恩TCP/IP协议。
48、年道格拉斯·恩格尔巴特互动计算。
49、年伊凡·苏泽兰计算机图形学。1989年威廉·卡韩数值分析。
50、年罗宾·米尔纳LCF，ML语言，CCS。
51、年埃德加·科德数据库系统，尤其是关系型数据库。
52、年奥利-约翰·达尔,克利斯登·奈加特面向对象编程。
53、年约翰·科克编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发。
54、年蒂姆·伯纳斯-李发明了万维网、第一个浏览器和使得万维网得以扩展的基础协议及算法。
55、年理查德·卫斯里·汉明数值方法，自动编码系统，错误检测和纠错码。