“计算机科学名人堂”系列博文推出以来，已经介绍了近30位为计算机科学与技术做出杰出贡献的人物，受到许多网友的关注和关心，在此一并致以诚挚的感谢！因时间限制，我不再可能以每天一期的速度推出，请大家谅解，但我尽可能每周一次介绍和评述1-2名学者。

挑选进入名人堂的大牛，基本上基于两个标准：做出本领域的杰出贡献或重要影响的工作，对未来计算机发展和信息技术的进步有重大推动。其目的不在于相互比较，而在于他们的工作给予我们的重要启迪，可能介绍也不一定很专业，评述也不一定合每个人的口味，姑且作为像我等真正“有学问”的人现在可以炫耀的一点“任性”吧，没有什么权威性。一个多月以来，也许一开始挑选很容易，我可以从图灵奖或IEEE CS先驱奖获得者中挑选合适的学者或者自己比较熟悉的人，但后来发现，相对于我个人的视野和能力而言，这变成越来越困难的事情，可能我不熟悉他们的工作及其重要性和前瞻性，也可能害怕出现大的偏倚。所以，在此向各位专家级网友，尤其是计算机科学技术领域的学者，征求意见，希望各位能够帮助我，推荐一些合适进入名人堂的国内外科技精英。如果有比较共同的认识，在后续的介绍中我会做适当的考虑，一定完成您布置的作业。

下面是后面30位人物的预告，若有不合适，敬请各位发表自己的意见和建议。本人非常感谢！

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

Andrew Rubin                         Android之父，智能手机

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

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

Jeffery Dean & Sanjay Ghemawat     云计算，Map/Reduce架构

Lawrence Edward Page               搜索算法，产品开发和技术战略

Douglas Engelbart                   鼠标，GUI

Albert-László Barabási              复杂网络

Herbert Alexander Simon             人工智能，认知心理学，获得图灵奖和诺贝尔奖（经济学）

Norbert Wiener                       应用数学家，控制论

John Cocke                           编译理论,大型系统的体系结构及精简指令集(RISC)计算机的开发

John Vincent Atanasoff              物理学家，计算机系统

Edmund M. Clarke &  Allen Emerson &  Joseph Sifakis    模型检测

Leslie Lamport                      分布式计算

Andrew Chi-Chih Yao  （姚期智）     计算理论，伪随机数生成,密码学与通信复杂度

Edward Feigenbaum &  Raj Reddy      大规模人工智能系统

Michael I. Jordan                   计算机视觉，机器学习

Niklaus Wirth                       程序语言设计

Edgar F. Codd                       数据库系统,尤其是关系型数据库

John Backus                         高级编程系统,程序设计语言规范的形式化定义

Andrew Y. Ng （吴恩达）             人工智能，神经网络

Kurt Godel                 数学家，哥德尔不完备定理和连续统假设的相对协调性证明

John von Neumann           数学家，现代计算机创始人之一

Alan Mathison Turing       祖师爷，图灵机模型，图灵测试

（待续）

以往博文列表：

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     理论计算科学、程序设计语言的定义与设计、计算机算法