托尼·霍尔
程序验证的先驱
戴纳·斯科特
形式语义学的奠基人
迈克尔·拉宾
随机化算法的先驱
安德鲁·姚
计算复杂性理论的贡献
斯蒂芬·库克
NP完全性理论的创立
莱昂尼德·莱文
计算复杂性理论的贡献
桑杰夫·阿罗拉
近似算法的理论突破
莫西·瓦尔迪
自动机理论和数据库理论
曼纽尔·布卢姆
计算复杂性理论的贡献
阿米尔·普努利
时序逻辑在计算机科学中的应用
理查德·卡普
计算复杂性理论的奠基人
尤金·迈尔斯
生物信息学与基因组学的先驱
约翰·奥斯特豪特
脚本语言与系统软件的先驱
詹姆斯·格雷
数据库与事务处理系统的先驱
约翰·亨尼西
RISC架构的先驱
丹尼斯·里奇
C语言与UNIX操作系统的共同创造者
肯·汤普森
UNIX操作系统与B语言的创造者
马克·布劳尔
信息复杂性与算法设计贡献者
康斯坦丁诺斯·达斯卡拉基斯
博弈论与计算经济学贡献者
苏布拉·苏雷什
计算复杂性理论突破者
丹尼尔·斯皮尔曼
谱图理论与算法设计贡献者
乔恩·克莱因伯格
网络与社会信息学先驱
马达夫·瓦拉丹
纠错码与概率检验贡献者
彼得·肖尔
量子算法开创者
尤里·泽瓦
抽象状态机理论创立者
什穆埃尔·温伯格
计算复杂性理论贡献者
罗伯特·塔扬
图算法与数据结构先驱
约翰·霍普克罗夫特
算法与计算理论先驱
巴特勒·兰普森
分布式系统先驱
道格拉斯·恩格尔巴特
发明鼠标，推动人机交互
罗伯特·梅特卡夫
以太网的发明者
杰克·唐加拉
高性能计算的先驱
杰弗里·乌尔曼
编译器和算法的先驱
阿尔弗雷德·艾侯
编译器和算法的先驱
埃德温·卡特穆尔
图形学的先驱
帕特里克·汉拉汉
图形学的先驱