1948 年，《贝尔系统技术期刊》分两期（7 月与 10 月）刊发了一篇合计约五十页的长文，题目平淡无奇：《通信的数学理论》。克劳德·香农（Claude Shannon）在这篇文章里做了一件看上去不可能的事：把"信息"这个飘忽不定的直觉，变成了可以精确计算的数学量。这不仅仅是一篇通信工程论文——它创造了一门全新的科学。

信息论 · 熵 · 比特

被 3 个领域引用（心理学、工程与技术、哲学思想）

1927–2011

约翰·麦卡锡

John McCarthy

1955 年夏天，一个年仅 27 岁的数学家在一份提案里写下了两个词："artificial intelligence"。那个夏天，这两个词还不存在于任何技术词汇表里。写下它们的人是约翰·麦卡锡（John McCarthy），他正在筹备一场将在达特茅斯学院举行的暑期研讨会，并需要给这场会议的研究主题起一个名字。

人工智能 · LISP · 达特茅斯会议

1941–

莱斯利·兰波特

Leslie Lamport

1978 年，兰波特（Leslie Lamport）发表了一篇题为《分布式系统中的时间、时钟与事件排序》（Time, Clocks, and the Ordering of Events in a Distributed System）的论文，提出了"逻辑时钟"的概念。

分布式系统 · 逻辑时钟 · Paxos

被 1 个领域引用（哲学思想）

1948–

罗伯特·塔扬

Robert Tarjan

1971 年，斯坦福大学的一名博士生在攻读计算机科学的第一年，注意到一个奇特的模式：深度优先搜索（DFS）这个看似简单的图遍历策略，背后蕴藏着惊人的算法力量。

算法 · 图论 · 数据结构

1934–2026

托尼·霍尔

Tony Hoare

1960 年，一位 26 岁的英国年轻人为了和上司打的一个赌，写出了一种排序方法。它快得不可思议，至今仍是计算机每天排序数据时最常用的算法之一。但写出它的查尔斯·安东尼·理查德·霍尔（C. A. R. Hoare，人称 Tony Hoare），后来用一生做的，是一件更难的事：让我们相信一个程序真的是对的。

快速排序 · 霍尔逻辑 · 程序正确性

先驱1 篇

1815–1852

爱达·洛夫莱斯

Ada Lovelace

1843 年，一位 27 岁的英国女性在翻译一篇意大利数学家的文章时，加进了自己的七条注释。这些注释的篇幅比原文多出三倍，包含了人类历史上第一个被发表的计算机程序——尽管运行这个程序的机器从未被造出来。

第一位程序员 · 分析机 · 算法

方法论奠基2 篇

1930–2002

艾兹格·迪科斯彻

Edsger W. Dijkstra

1968 年，《ACM 通讯》刊发了一封只有三段话的短信，标题是《Go To 语句被认为是有害的》（Go To Statement Considered Harmful）。发信人是荷兰计算机科学家艾兹格·威贝·迪科斯彻（Edsger Wybe Dijkstra）。

最短路径 · 结构化编程 · 信号量

1938–

唐纳德·克努特

Donald E. Knuth

1962 年，一位年仅 24 岁的数学研究生收到了一家出版社的邀约，请他写一本关于编译器的书。他估计需要 12 章，大约两年完成。实际上，他花了六十年，只写完了其中的一部分——但这本半完成的书，已经被许多人认为是计算机科学史上最重要的著作。

算法分析 · 计算机程序设计艺术 · TeX

工程先驱3 篇

1906–1992

格蕾丝·霍普

Grace Hopper

1947 年 9 月 9 日，哈佛大学 Mark II 计算机出现故障。操作团队在继电器（Relay #70）触点之间找到了一只飞蛾，把它用胶带粘在日志本上，在旁边写道："First actual case of bug being found（首次发现真正的 bug 实例）。"

编译器 · COBOL · 程序调试

1955–

蒂姆·伯纳斯-李

Tim Berners-Lee

1989 年 3 月，一位在瑞士日内瓦欧洲核子研究中心（CERN）工作的英国工程师向老板提交了一份建议书，标题是《信息管理：一个提案》（Information Management: A Proposal）。老板在封面上写了四个字："模糊但令人兴奋。"

万维网 · HTTP · HTML

1943–

文顿·瑟夫

Vint Cerf

1973 年的一个下午，文顿·瑟夫（Vinton G. Cerf）坐在旧金山的一家酒店大堂里，在一个信封的背面草草写下了一些想法——关于如何让不同的计算机网络互相"交谈"。他的搭档鲍勃·卡恩（Bob Kahn）在旁边提出问题，他负责画图和写方程。

TCP/IP · 互联网 · 网络协议

当代先驱1 篇

1947–

杰弗里·辛顿

Geoffrey Hinton

2024 年 10 月，瑞典皇家科学院宣布将当年的诺贝尔物理学奖授予杰弗里·辛顿（Geoffrey Hinton）和约翰·霍普菲尔德（John Hopfield），表彰他们"通过人工神经网络实现机器学习的基础性发现与发明"。

深度学习 · 反向传播 · 神经网络

被 1 个领域引用（语言学）

机械计算先驱1 篇

1791–1871

查尔斯·巴贝奇

Charles Babbage

1833 年，一个机器的图纸被铺在伦敦一间工作室的桌上。设计者用了将近十年时间构思这台装置，它有齿轮、凸轮和穿孔卡片，能够执行任意的数学运算——读取指令，分支判断，循环执行。设计者叫查尔斯·巴贝奇（Charles Babbage），这台机器叫分析机（Analytical Engine）。

差分机 · 分析机 · 可编程计算

逻辑与代数1 篇

1815–1864

乔治·布尔

George Boole

1854 年，一位没有大学学位的英国乡村教师出版了一本薄薄的书，书名叫《思维的规律》（The Laws of Thought）。书中提出了一套用代数符号表达逻辑推理的方法——AND、OR、NOT，以及 0 和 1。他没有预见到这套方法将成为所有数字计算机的数学地基。

布尔代数 · 逻辑运算 · 数理逻辑

被 1 个领域引用（数学）

语言与系统先驱1 篇

1939–

芭芭拉·利斯科夫

Barbara Liskov

1968 年，芭芭拉·利斯科夫（Barbara Liskov）从斯坦福大学计算机科学系获得博士学位——她是美国最早从计算机科学系拿到博士学位的女性之一（更早的玛丽·肯尼斯·凯勒 Mary Kenneth Keller 于 1965 年在威斯康星大学取得，常被列为美国第一位计算机科学博士）。

抽象数据类型 · Liskov替换原则 · CLU语言

人工智能先驱1 篇

1927–2016

马文·明斯基

Marvin Minsky

1956 年夏天，在达特茅斯学院的一次研讨会上，一群数学家和工程师聚集在一起，讨论一个听起来疯狂的想法：机器能否模拟人类智能？这次会议被认为是人工智能作为一个学科正式诞生的时刻。马文·明斯基（Marvin Minsky）是组织者之一，也是此后半个世纪里推动和争议这个领域最重要的人物之一。

人工智能 · 感知机 · 框架理论

系统软件先驱2 篇

1941–2011

丹尼斯·里奇

Dennis Ritchie

有一种贡献，你每天在使用它，却从未意识到它的存在。你打开的每一个 App，运行的每一段服务器代码，嵌入在你汽车里的每一行固件——它们的绝大多数都用 C 语言写成，或者运行在 Unix 及其后代（Linux、macOS、Android、iOS 的内核）之上。

C语言 · Unix · 操作系统

1943–

肯·汤普森

Ken Thompson

1969 年的一个夏天，肯·汤普森（Ken Thompson）的妻子和儿子去加利福尼亚度假，给他留下了三个星期的独处时光。他用这三周，在贝尔实验室一台被废弃的 PDP-7 小型机上，写出了一个操作系统内核、一个 shell 和一个文件系统编辑器。

Unix · B语言 · UTF-8

开源运动2 篇

1953–

理查德·斯托曼

Richard Stallman

1983 年 9 月 27 日，MIT 人工智能实验室的一台打印机引发了一场运动。理查德·斯托曼（Richard Matthew Stallman，缩写 RMS）想修改一台 Xerox 激光打印机的驱动程序——它频繁卡纸却不通知用户。但 Xerox 拒绝提供源代码。

自由软件 · GNU · 版权左置

1969–

林纳斯·托瓦兹

Linus Torvalds

1991 年 8 月 25 日，赫尔辛基大学的一名 21 岁学生在 comp.os.minix 新闻组上发帖：

Linux · Git · 开源

个人计算先驱1 篇

1940–

艾伦·凯

Alan Kay

1968 年，艾伦·凯（Alan Kay）还是犹他大学的一名博士生，某天他走进一个陈列室，看到一台叫 FLEX 的实验性计算机原型。那台机器可以在屏幕上直接绘制图形。他突然意识到：这台机器不应该只给专业人员使用，它应该像书本一样，属于每一个人。

面向对象 · Smalltalk · 图形界面

产业先驱2 篇

1955–

比尔·盖茨

Bill Gates

1975 年 1 月，《大众电子》杂志封面刊登了 Altair 8800——第一台面向消费者的个人计算机套件。

微软 · 个人电脑 · 软件产业

1950–

史蒂夫·沃兹尼亚克

Steve Wozniak

如果说史蒂夫·乔布斯是苹果公司的灵魂，史蒂夫·沃兹尼亚克（Stephen Gary Wozniak，绰号"Woz"）就是它的智识。

Apple · 个人电脑 · 硬件工程

人机交互先驱1 篇

1925–2013

道格拉斯·恩格尔巴特

Douglas Engelbart

1968 年 12 月 9 日下午，旧金山一个大礼堂里，几千名计算机工程师目睹了一场后来被称为"所有演示之母"（Mother of All Demos）的展示。

鼠标 · 超文本 · 人机交互

软件工程先驱1 篇

1936–

玛格丽特·汉密顿

Margaret Hamilton

1969 年 7 月 20 日，阿波罗 11 号登月舱距离月球表面还有约 3000 米时，飞行计算机突然发出警报——代码 1202。宇航员尼尔·阿姆斯特朗向地面报告，休斯顿控制中心紧张地评估：这个错误代码意味着什么？着陆是否应该中止？

软件工程 · 阿波罗计划 · 容错系统

数据库先驱1 篇

1923–2003

埃德加·科德

Edgar F. Codd

1970 年，IBM 研究员埃德加·科德（Edgar Codd，全名 Edgar Frank Codd）发表了一篇 11 页的论文：《大型共享数据库的关系数据模型》（"A Relational Model of Data for Large Shared Data Banks"），对象见 Codd 1970。

关系数据库 · SQL · 关系模型

编程语言先驱1 篇

1924–2007

约翰·巴克斯

John Backus

1953 年，IBM 的工程师约翰·巴克斯（John Backus）向管理层提交了一份提案，内容是开发一种全新的编程语言，让数学家和工程师可以用接近数学公式的方式写程序，而不必手写汇编代码。管理层的反应是怀疑的：这能行吗？翻译得够快吗？

FORTRAN · BNF范式 · 函数式编程

编译器先驱1 篇

1932–2020

弗朗西丝·艾伦

Frances Allen

编译器是软件世界里最沉默的基础设施之一。你写下 for i in range(10): print(i)，背后有一套复杂的程序把你的意图翻译成处理器能理解的指令，并在翻译过程中悄悄地、系统地把代码优化得更快。这个翻译和优化的过程，它的数学基础和工程实践，在很大程度上是弗朗西丝·艾伦（Frances Allen）奠定的。

编译器 · 程序优化 · 并行计算

互联网时代1 篇

佩奇 1973–；布林 1973–

拉里·佩奇与谢尔盖·布林

Larry Page and Sergey Brin

1995 年，谢尔盖·布林（Sergey Brin）被斯坦福大学计算机科学系派去接待一批新生参观校园，其中一个新生是拉里·佩奇（Larry Page）。两人争论不休——朋友们后来说，他们第一次见面几乎没有任何事情看法相同。

Google · 搜索引擎 · PageRank

人工智能4 篇

1960–

杨·勒坤

Yann LeCun

1989 年，贝尔实验室的一位年轻法国研究员把一张手写数字的灰度图像送入一个神经网络，网络输出了正确的数字识别结果。这不是第一次有人尝试用神经网络识别字符，但这一次的网络有一个根本不同的结构——它利用了图像的空间局部性，用共享权重的小型过滤器扫描整张图像，而不是把图像"拍平"成一维向量。

深度学习 · 卷积神经网络 · 计算机视觉

1964–

约书亚·本希奥

Yoshua Bengio

2003 年，约书亚·本希奥（Yoshua Bengio）与合作者发表了一篇论文《神经概率语言模型》（A Neural Probabilistic Language Model）。这篇论文引入了一个在当时看起来只是技术细节的思想：用神经网络把词语映射到低维连续向量空间——词嵌入（Word Embeddings）。

深度学习 · 生成模型 · 图灵奖

1936–

朱迪亚·珀尔

Judea Pearl

1980 年代中期，人工智能的主流产品是规则库：若症状清单匹配，则推出病名，再给一条「确定性因子」。朱迪亚·珀尔（Judea Pearl，1936 年 9 月 4 日生于特拉维夫）认为这条路在概率上不自洽——两条相关证据被当成独立，同一事实被两条规则重复计数，网络一环就循环加分。

贝叶斯网络 · do演算 · 因果图

1976–

李飞飞

Fei-Fei Li

2009 年，李飞飞与邓嘉、董伟、Richard Socher 等人在 CVPR 发表 ImageNet：按 WordNet 同义词集组织、当时约 320 万张标注图像的层次数据库。2010 年起的 ILSVRC 竞赛把其中的分类与检测任务做成年度公共基准。

ImageNet · 计算机视觉 · 数据集

系统编程1 篇

1950–

比雅尼·斯特劳斯特鲁普

Bjarne Stroustrup

"C++ 是被设计成语言特性不断相互作用，形成远超各个部分之和的整体。"

C++ · 编程语言 · 面向对象

编程语言1 篇

1956–

吉多·范罗苏姆

Guido van Rossum

1989 年圣诞节假期，荷兰程序员吉多·范罗苏姆（Guido van Rossum）觉得无聊，决定做一个他构思已久的小项目：一门新的脚本语言，作为 ABC 语言的继承者，但修正他认为 ABC 的所有失误。

Python · 编程语言 · 开源

密码学3 篇

1947–

罗纳德·里维斯特

Ronald Rivest

1977 年 8 月，《科学美国人》（Scientific American）专栏作家 Martin Gardner 在其"数学游戏"专栏里刊登了一道挑战题：破解一段用新密码加密的信息，奖励 100 美元。

密码学 · RSA · 公钥加密

1958–

沙菲·戈德瓦塞尔

Shafi Goldwasser

1982 年的 STOC 上，两名伯克利研究生把「加密」从一种打乱字母的手艺，改写成一场游戏。沙菲·戈德瓦塞尔（Shafrira Goldwasser，1958 年生于纽约）与西尔维奥·米卡利（Silvio Micali）提出：密文必须让多项式时间的对手无法区分「加密的是消息 $m0$ 还是 $m1$」。

零知识证明 · 语义安全 · 交互式证明

1958–

辛西娅·德沃克

Cynthia Dwork

2006 年，辛西娅·德沃克（Cynthia Dwork，1958 年 6 月 27 日生）与弗兰克·麦克谢里、科比·尼西姆、亚当·史密斯把一条不等式写进 TCC：机制在只相差一条记录的两个数据集上，输出分布必须接近。同年她在 ICALP 的邀请报告把这条性质命名为差分隐私。

差分隐私 · 非延展性 · 格密码

理论2 篇

1939–

斯蒂芬·库克

Stephen Cook

1971 年 5 月，俄亥俄州谢克海茨（Shaker Heights）的计算理论年会（STOC）上，多伦多大学一位刚满三十岁的教授宣读了一篇标题朴素的短文：《定理证明程序的复杂性》（The Complexity of Theorem-Proving Procedures），对象见 Cook 1971。

库克-列文定理 · NP完全 · SAT

1946–

姚期智

Andrew Chi-Chih Yao

1979 年，姚期智（Andrew Chi-Chih Yao，1946 年 12 月 24 日生于上海）问了一个看起来不像复杂性的问题：爱丽丝拿着 $x$，鲍勃拿着 $y$，两人算力无限，只计他们之间传送的比特——算出 $f(x,y)$ 最少要说多少话？

姚氏原理 · 混淆电路 · 百万富翁问题

数据系统1 篇

1943–

迈克尔·斯通布雷克

Michael Stonebraker

1970 年代中期，伯克利的 INGRES 与 IBM 的 System R 几乎同时证明：埃德加·科德的关系模型可以被做成能跑查询的系统。迈克尔·斯通布雷克（Michael Stonebraker）没有发明关系代数，他把代数接进了优化器、存取路径与一门叫 QUEL 的查询语言。

数据库 · Ingres · PostgreSQL

系统1 篇

1943–

巴特勒·兰普森

Butler Lampson

1992 年图灵奖颁给巴特勒·兰普森（Butler W. Lampson），表彰的不是单一算法，而是在 SDS 940、Alto、以太网、激光打印、分时与后来的微软研究里反复出现的一种能力：把「计算机应当怎样作为日常对象工作」写成可实现的系统，并把设计判断压缩成工程师能记住的句子。

图灵奖 · Xerox PARC · 能力

体系结构1 篇

帕特森 1947–；亨尼西 1953–

大卫·帕特森与约翰·亨尼西

David Patterson and John L. Hennessy

1980 年前后，伯克利的大卫·帕特森（David Patterson）与斯坦福的约翰·亨尼西（John Hennessy）几乎同时把指令集往窄处推：只保留能被流水线快速执行的简单操作，把复杂操作交给软件序列。RISC 不是美学，而是一张可测量的账单——指令数、每条指令的周期、时钟频率三者相乘得到 CPU 时间。

RISC · RAID · 定量方法

网络1 篇

1951–

拉迪亚·珀尔曼

Radia Perlman

1985 年，拉迪亚·珀尔曼（Radia Perlman）给扩展局域网里的网桥写了一份分布式算法：选出根桥，计算到根的最短路径，阻塞多余端口，让有环的网状连线在逻辑上变成一棵树。没有这棵树，广播帧会沿环无限复制，交换机的转发平面会在几毫秒内把自己淹没。后来的 IEEE 802.1D 把这套算法称为生成树协议（STP）。

生成树 · IS-IS · TRILL