吴鹤龄，北京理工大学计算机学院教授。退休后从事科普创作，除本书及其姊妹篇《IEEE计算机先驱奖——计算机科学与技术中的发明史》外，尚有《好玩的数学》《七巧板、九连环和华容道》《囚徒的困境》等多部原创作品或译作问世，分别获得2009年国家科学技术进步奖二等奖、第一届中国科普作家协会优秀科普作品提名奖、北京市第四届优秀科普作品奖等多项奖励。曾获2010年北京市高校“育人标兵”、2011年北京市和全国教育系统“关心下一代工作先进工作者”。

　　崔林，博士，国家开放大学教授。清华大学计算机科学与技术系本科毕业，北京理工大学计算机学院硕士和博士研究生毕业。除本书及其姊妹篇《IEEE计算机先驱奖一计算机科学与技术中的发明史》外，还有《程序设计基础》《计算机专业指南》《我国高等工程继续教育体系架构研究》《人工智能导论》等多部原创作品和教材出版。曾任河南科技大学计算机学院副院长，国家开放大学工学院副院长、学术委员会委员和图书馆学术委员会副主任，具有丰富的计算机学科及专业群策划和建设经验。

　　诞生于1966 年的图灵奖被誉为“计算机领域的诺贝尔奖”，至今共有79位科学家获得此荣誉。《计算先驱的故事：ACM图灵奖历届获奖者：1966-2022》介绍了图灵及76位ACM图灵奖获得者的工作和事迹。通过对20世纪下半叶及21世纪初有代表性的计算机科学家的介绍，多方位、多视角地反映了计算机科学技术半个多世纪的发展历程。《计算先驱的故事：ACM图灵奖历届获奖者：1966-2022》在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能信息安全等计算机科学技术主要分支的形成过程和发展概况。《计算先驱的故事：ACM图灵奖历届获奖者：1966-2022》旨在宣扬科学和科学家精神，通过追寻成功者的足迹，给人以必要的启迪，使读者从阅读《计算先驱的故事：ACM图灵奖历届获奖者：1966-2022》中汲取成长和成功所必需的养分。

　　图灵和图灵奖
　　世界上第一台电子计算机ENIAC1946年2月诞生于美国宾夕法尼亚大学莫尔学院。但学术界公认，电子计算机的理论和模型是由英国数学家图灵在此前10年即1936年发表的一篇论文《论可计算数及其在判定问题中的应用》（On Computable Numbers with an Application tothe Entscheidung－Problem）中奠定基础的。因此美国计算机协会（Asso－ciation for Computing Machinery，ACM）在1966年纪念电子计算机诞生20周年，也就是图灵的有历史意义的论文发表30周年之际，决定设立计算机界的第一个奖项（在此之前，做出杰出贡献的计算机科学家只能获得数学方面或电气工程方面的奖项）并且很自然地将它命名为“图灵奖”，以纪念这位计算机科学理论的奠基人。“图灵奖”被誉为“计算机界的诺贝尔奖”，设立至今已经颁发了59届，共有79位计算机科学家获此殊荣。
　　艾伦·图灵（Alan Mathison Turing）于1912年6月23日出生在伦敦近郊的自治镇帕丁顿（Paddington，现归属伦敦Westminster区，英国议会大厦和世界闻名的威斯敏斯特大教堂就位于此处）。图灵的父亲是英国在印度的行政机构的一名官员，母亲平常也在印度陪伴其丈夫。1926年图灵的父亲退休以后，因为退休金不高，为了节省，他们夫妇选择在生活费用较低的法国居住，没有回英国定居，因此图灵和他的一个叫约翰的哥哥很少见到父母，他们是被从军队中退休的沃德（Ward）夫妇带大的。童年时缺乏父爱和母爱，这也许正是图灵自幼起性格和行为就比较怪僻，并最终酿成悲剧结局的一个重要原因。图灵13岁进入寄宿的谢博恩中学（Sherbourne School），学习成绩并不是特别好，只有数学例外，他的演算能力特别强。此外，就是擅长赛跑。
　　1931年中学毕业以后图灵想进剑桥大学最负盛名的“三圣学院”（Trinity College），但两次未被录取，只好进了剑桥大学的另一所学院——“国王学院”（King's College）攻读数学。第一年的课比较浅，图灵很厌烦，没有好好学，结果在剑桥大学特设的一种叫Tripos的荣誉学位考试中只得了“二等”。好在他奋起直追，最后毕业时的数学学位考试拿了“一等”，取得这个成绩的学生在剑桥大学有一个特别的荣誉称号，叫Wrangler。图灵的学位论文课题是关于概率论的中心极限定理（the central limit theorem of probability）的。实际上，由于他在研究这个课题时对前人在这方面所做的工作一无所知，可以说是图灵自己又重新发现了这个定理。1936年图灵因就同一课题所发表的论文《论高斯误差函数》（On the Gaussian Error Function）而获得史密斯奖（SmithPrize），并由一名普通大学生直接当选为国王学院的研究员。
　　1935年，图灵开始对数理逻辑产生兴趣。数理逻辑（mathematicallogic）又叫形式逻辑（formal logic）或符号逻辑（symbolic logic），是逻辑学的一个重要分支。数理逻辑用数学方法，也就是用符号和公式、公理的方法去研究人的思维过程、思维规律其起源可追溯到17世纪德国的大数学家莱布尼茨（Gottfried Wilhelm Leibniz，1646－1716），其目的是建立一种精确的、普遍的符号语言，并寻求一种推理演算，以便用演算去解决人如何推理的问题。在莱布尼茨的思想中，数理逻辑、数学和计算机三者均出于一个统一的目的，即人的思维过程的演算化、计算机化，以至在计算机上实现。但莱布尼茨的这些思想和概念还比较模糊，不太清晰和明朗。三个多世纪来，许多数学家和逻辑学家沿着莱布尼茨的思路进行了大量实质性的工作，使数理逻辑逐步完善和发展起来，许多概念开始明朗。但是，“计算机”到底是怎样一种机器，应该由哪些部分组成，如何进行计算和工作，在图灵之前没有任何人清楚地说明过。正是图灵1936年发表的那篇标题有些古怪（其中“判定问题”用的是“外文”——德文！）的论文《论可计算数及其在判定问题中的应用》第一次回答了这些问题.，提出了一种计算机的抽象模型，利用这种计算机，可以把推理化作一些简单的机械动作。
　　……

图灵和图灵奖 1
1966 年图灵奖获得者：艾伦·佩利——ALGOL和计算机科学的“催生者” 23
1967 年图灵奖获得者：莫里斯·威尔克斯——世界上第一台存储程序式计算机EDSAC的研制者 31
1968 年图灵奖获得者：理查德·哈明——发明哈明码的大数学家和信息学专家 38
1969 年图灵奖获得者：马文·明斯基——“人工智能之父”和框架理论的创立者 44
1970 年图灵奖获得者：詹姆斯·威尔金森——数值分析专家和研制ACE计算机的功臣 50
1971 年图灵奖获得者：约翰·麦卡锡——“人工智能之父”和LISP语言的发明人 56
1972 年图灵奖获得者：埃德斯加·迪杰斯特拉——最先察觉“goto有害”的计算机科学大师 64
1973 年图灵奖获得者：查尔斯·巴赫曼——“网状数据库之父” 73
1974 年图灵奖获得者：唐纳德·克努特——经典巨著《计算机程序设计艺术》的年轻作者 80
1975 年图灵奖获得者：赫伯特·西蒙和艾伦·纽厄尔——人工智能符号主义学派的创始人 91
1976 年图灵奖获得者：米凯尔·拉宾和达纳·斯科特——非确定性有限状态自动机理论的开创者 105
1977 年图灵奖获得者：约翰·巴克斯——FORTRAN和BNF的发明者 115
1978 年图灵奖获得者：罗伯特·弗洛伊德——归纳断言法的创始人 124
1979 年图灵奖获得者：肯尼思·艾弗森——大器晚成的科学家，APL的发明人 130
1980 年图灵奖获得者：查尔斯·霍尔——从QUICKSORT、CASE到程序设计语言的公理化 135
1981 年图灵奖获得者：埃德加·科德——关系数据库之父 145
1982 年图灵奖获得者：斯蒂芬·库克——NP完全性理论的奠基人 149
1983 年图灵奖获得者：肯尼思·汤普森和丹尼斯里奇——C语言和UNIX的发明者 154
1984 年图灵奖获得者：尼克劳斯·沃思——PASCAL之父及结构化程序设计的首创者 164
1985 年图灵奖获得者：理查德·卡普——发明“分支限界法”的三栖学者 173
1986 年图灵奖获得者：约翰·霍普克洛夫特和罗伯特·陶尔扬——硕果累累的算法设计大师 180
1987 年图灵奖获得者：约翰·科克——RISC概念的首创者 192
1988 年图灵奖获得者：伊万·萨瑟兰——计算机图形学之父 196
1989 年图灵奖获得者：威廉·卡亨——浮点运算的先驱 200
1990 年图灵奖获得者：费尔南多·科尔巴托——实现分时系统的功臣 204
1991 年图灵奖获得者：罗宾·米尔纳——标准元语言ML的开发者 209
1992 年图灵奖获得者：巴特勒·兰普森——从Alto系统的首席科学家到微软的首席技术官 215
1993 年图灵奖获得者：尤里斯·哈特马尼斯和理查德·斯特恩斯——计算复杂性理论的主要奠基人 221
1994 年图灵奖获得者：爱德华·费根鲍姆和劳伊·雷迪——大型人工智能系统的开拓者 227
1995 年图灵奖获得者：曼纽尔·布卢姆——计算复杂性理论的主要奠基人之一 234
1996 年图灵奖获得者：阿米尔·伯努利——把时态逻辑引入计算机科学 238
1997 年图灵奖获得者：道格拉斯·恩格尔巴特——鼠标器的发明人和超文本研究的先驱 243
1998 年图灵奖获得者：詹姆斯·格雷——数据库技术和“事务处理”专家 248
1999 年图灵奖获得者：弗雷德里克·布鲁克斯——IBM360系列计算机的总设计师和总指挥 254
2000 年图灵奖获得者：姚期智——计算理论领域卓越的开拓者 262
2001 年图灵奖获得者：奥尔－约翰·达尔和克利斯登·奈加特——挪威计算机科学家，面向对象技术奠基人 268
2002 年图灵奖获得者：利维斯沙米尔和阿德勒曼——最具影响力的公钥密码算法RSA的发明人 278
2003 年图灵奖获得者：艾伦·凯——“个人计算机之父”及Smalltalk语言发明人 285
2004 年图灵奖获得者：文登·塞夫和罗伯特·凯恩 2109——Internet基础通信协议TCP/IP之父 290
2005 年图灵奖获得者：彼得·诺尔——从天文学家到计算机科学家 301
2006 年图灵奖获得者：弗朗西斯·艾伦——编译器优化理论与实践的先驱 304
2007 年图灵奖获得者：克拉克埃默生和希法凯斯——计算机辅助验证技术的先驱 308
2008 年图灵奖获得者：芭芭拉·利斯科夫——计算机程序设计语言和系统的先驱 315
2009 年图灵奖获得者：查尔斯·萨克尔——计算机系统架构的创新型设计大师 321
2010 年图灵奖获得者：莱斯利·瓦利安特——成果丰硕的理论计算机科学大师 326
2011 年图灵奖获得者：朱迪珀尔——贝叶斯网络开创人工智能新天地 331
2012 年图灵奖获得者：西尔维·米卡利和莎菲戈德瓦瑟——现代密码学数学基础的奠定者 336
2013 年图灵奖获得者：莱斯利·兰波特——分布式计算原理之父 342
2014 年图灵奖获得者：迈克尔·斯通布雷克——享有盛誉的数据库专家 347
2015 年图灵奖获得者：惠特菲尔特·迪菲和马丁·赫尔曼——密码学新纪元的开拓者 352
2016 年图灵奖获得者：蒂姆·伯纳斯·李——万维网的奠基者 358
2017 年图灵奖获得者：约翰·轩尼诗和大卫帕特森——推动计算机体系结构发展的先驱 364
2018 年图灵奖获得者：约书亚·本吉奥、杰弗里·辛顿、杨立昆——深度学习之父 373
2019 年图灵奖获得者：埃德温·卡特穆尔和帕特里克·汉拉汉——计算机3D动画领域的先驱 383
2020 年图灵奖获得者：阿尔佛雷德·艾侯和杰弗里·乌尔曼——奠定计算机编程语言理论和实现基础的先驱 393
2021 年图灵奖获得者：杰克·唐加拉——高性能计算软件发展的先驱 402
2022 年图灵奖获得者：鲍勃卡夫——奠定互联网技术基础的以太网发明人 407
附录A 计算技术发展大事记（截至2023年年底） 417
附录B 向计算机专业师生推荐两本好书 449
人名索引（Name Index） 452
总索引（General Index） 461
参考文献 474