计算机科学:创新者

下表列出了主要创新者的名字、他们的作品和年份 −

人物 成就 时期/年份
戈特弗里德·莱布尼茨 莱布尼茨开发了一阶谓词演算,这对计算机科学的理论基础非常重要。 公元 1670 年(约)
查尔斯·巴贝奇 巴贝奇是一位著名的数学家、哲学家、发明家和机械工程师,他设计了分析机,并开发了功能较弱的机械计算器的原型。同样,他开创了数字可编程计算机的概念。巴贝奇被人们誉为"计算机之父"。 1822 年(大约)
乔治·布尔 布尔提出了布尔代数的概念,这成为数字逻辑和计算机科学的基础。 1847 年(大约)
戈特洛布·弗雷格 弗雷格开发了一阶谓词演算,后来成为发展计算理论的关键先决条件。 1879 年(大约)
赫尔曼·霍勒里斯 霍勒里斯发明了穿孔卡求值机,因此,他被人们称为被认为是现代机器数据处理之父。 1889 年(大约)
万尼瓦尔·布什 布什开发了 Memex 概念,后来导致了超文本的发展。 1930 年(大约)
阿隆佐·丘奇 丘奇开发了 lambda 演算并发现了其中的不可判定性问题。 1936 年(大约)
斯蒂芬·科尔·克莱尼 创立了计算理论。 1936 年(大约)
克劳德·香农 创立实用数字电路设计。 1937 年
康拉德·楚泽 建造了第一台 Z 系列数字自由可编程计算机。 1938 年
Tommy Flowers 设计并制造了 Mark Colossus 计算机,这是世界上第一台可编程、数字、电子和计算设备。 公元 1943 年
Max Newman Newman 在曼彻斯特大学建立了计算机实验室。世界上第一台存储程序计算机曼彻斯特小型实验机就是在这里发明的。 公元 1943 年
John Mauchly & J. Presper Ecker 设计并制造了第一台现代计算机 ENIAC 和第一台商用计算机 UNIVAC I。 公元 1943 年
中松义朗 在东京帝国大学发明了第一张软盘。 公元 1950 年
David Caminer &约翰·平克顿 开发了 LEO 计算机,即第一台商用计算机 1951 年
谢尔盖·阿列克谢耶维奇·列别捷夫 独立设计了苏联(即乌克兰)第一台电子计算机。 1951 年
格蕾丝·霍珀 霍珀编写了 A-O 编译器(一种自动编程语言),该编译器对 COBOL 语言产生了重大影响。 1952 年
卡斯伯特·赫德 就职于国际商业机器公司,开发了第一台通用计算机 IBM 701。 公元 1952 年
Alan Perlis 等人 开发了 ALGOL 编程语言,并成为图灵奖的首位获得者。 公元 1952 年
诺姆·乔姆斯基 乔姆斯基开发了乔姆斯基层次结构。他凭借在语言学领域的工作为计算机科学做出了贡献。 1956 年
道格拉斯·恩格尔巴特和比尔·英格利什 因发明计算机鼠标而闻名。 1963 年
佐佐木忠志 佐佐木曾是夏普公司的工程师,他设计了单片微处理器CPU。他还在夏普开发了LCD计算器。 1963年
丹尼斯·里奇和肯·汤普森 在贝尔实验室开创了C语言和Unix计算机操作系统。 1967年
肯·汤普森 汤普森在贝尔实验室开发了Unix操作系统、B语言、Plan 9操作系统、第一个计算机象棋游戏和UTF-8编码。此外,他在 Google 开发了"Go"编程语言。 1967 年
Adriaan van Wijngaarden Wijngaarden 开发了 W 语法,该语法首次用于定义 ALGOL 68 1968 年
Masatoshi Shima 设计了第一款商用微处理器 Intel 4004。 1968 年
Leslie Lamport 制定算法来解决分布式系统中的不同基本问题(例如面包店算法)。 1974 年
Vint Cerf 和 Bob Kahn 设计了传输控制协议和互联网协议 (TCP 和 IP),即互联网和其他计算机网络的主要数据通信协议。 1978 年
Tim Berners-Lee 发明了万维网。 1989 年
Tim Berners-Lee 和 Robert Cailliau 在客户端和服务器之间发送了第一个 HTTP 通信。 1989 年