Jean-Raymond Abrial              Z 语言和 B 方法的创建者，软件形式化开发领域的最主要奠基人之一

Andrew Rubin                      Android之父，智能手机

Jack St．Chair Kilby               物理学，集成电路, 获得诺贝尔物理奖

Ted Hoff & Stan Mazor & Frederico Faggin   CPU之父，微处理器芯片Intel 4004

Robert W Floyd                   理论计算机科学、程序正确性证明
Brattain Walter Houser           电子科学与技术、晶体管

Wesley Allison Clark             计算机系统

Konrad Zuse                      计算机系统、Z3电子计算机

Alan Curtis Kay                  Smalltalk语言，面向对象程序设计、人机交互技术

Tim Berners-Lee                  Web技术与标准

Vannevar Bush                    科学研究管理与政策咨询

Marty Cooper                     无线通信技术与系统、手机

Linus Benedict Torvalds          Linux操作系统

Marvin Lee Minsky                人工智能

Ronald L. Rivest, Adi Shamir, Len Adleman   密码学，RSA加密算法

Frederick Phillips Brooks        计算机系统（IBM 360）、软件工程

Vinton G. Cerf & Robert E. Kahn  计算机网络、TCP/IP协议

John McCarthy                    人工智能、LISP语言

James Nicholas Gray              数据库、事务处理

Butler Wright Lampson            计算机系统（Alto计算机系统）

Michael Stonebraker              数据库（PostgreSQL）

James Gosling                    Java语言

John Edward Hopcroft & Robert Endre Tarjan      数据结构与算法

Stephen Arthur Cook              理论计算机科学、计算复杂性

Dennis MacAlistair Ritchie       C语言、UNIX操作系统

Donald Ervin Knuth               算法分析与设计

Edsger Wybe Dijkstra             理论计算科学、程序设计语言、计算机算法

Grady Booch                      面向对象分析与设计、UML

Charles Antony Richard Hoare     理论计算科学、计算机算法

（待续）