计算之美-图灵奖第一个40年(上册)

来源：宝玛科技网

winxos 11-01-28winxos 11-01-28计算的美丽—图灵奖第一个四十年（上）

陈怀临，首席科学家

《弯曲评论》 www.tektalk.cn huailin@tektalk.cn

前言：

《计算的美丽–图灵奖的第一个40年》(以下简称《计算的美丽》)原成文与2006年5月，并发布于www.xtrj.org 上。现校订修改独家发表于《弯曲评论》。计划从2月8日开始，每周星期五介绍一个图灵奖获得者。如需转载，请参阅《弯曲评论》版权申明。

《计算的美丽》的组织方式如下： *编年题材

通过从1966年开始的图灵奖，逐年介绍当年的图灵奖获得者。到目前为止，是图灵奖的第一个40年(1966–2005)。总共有50位杰出的科学家获得了此荣誉。到现在为止（2008年2月8日）近2年过去了。新的4位图灵奖获得者也产生了（2006年一位，2007年三位）。笔者在修订此书时，也一并将最新的获奖科学家收录于此。另外，两年来，也发生了两位图灵奖获得者科学家一位失踪，一位离开人世的悲痛消息。他们分别是1998年图灵奖获得者、著名的数据库研究领域科学家James Gray和1977年图灵奖获得者、Fortan程序语言和BNF范式的发明人John Backus。他们的失踪和离世是全人类的损失。笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。 *内容组织

对每一年的图灵奖，组织方式如下： –照片

–得奖科学家名称，生肖 –图灵奖研究工作引用

–图灵奖研究工作引用(中文翻译)

–编者注 (关于相关的该学术研究领域介绍) –当年图灵奖演讲文章 –图灵奖获得者简介 –图灵将获得者照片收集

笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。也可以适用于计算机相关工程技术人员业余时间阅读。

谨以此书献给为中国信息产业和计算机界的人们! 希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家!

1. 计算的美丽–1966年图灵奖获得者Alan Perlis

Alan J. Perlis(04/01/1922–02/07/1990)

图灵奖获得时间：

1966年。第一位图灵奖 (1966年) 获得者。图灵奖引用 (Turing Award Citation) ：

“For his influence in the area of advanced programming techniques and compiler construction”

【笔者译：】 “ (授予 Alan J. Perlis 图灵奖以表彰其在) 高级编程技术及其编译器构造领域的影响。 ” 笔者注：

Alan上述的工作主要来源于，作为一个主要研发成员，在

ALGOL(ALGOrithmic Language) 编程语言方面的贡献。 ALGOL 语言直接导致了PASCAL 语言的产生。关于ALGOL语言，可参阅：

http://www.engin.umd.umich.edu/CIS/course.des/cis400/algol/algol.html http://en.wikipedia.org/wiki/ALGOL_programming_language

关于编程语言的历史与演变，可参见：计算机语言发展历史

http://www.byte.com/art/9509/sec7/art19.htm Turing Award Lecture(图灵奖演讲文章)：

“The Synthesis of Algorithmic Systems”(算法系统的合成), Journal of the ACM, 14(1):1-9, January 1967 Alan J. Perlis简介 :

Alan J. Perlis Wiki: http://en.wikipedia.org/wiki/Alan_Perlis

Alan ，出生于美国宾州 Pittsburgh, Pennsylvania.1943 年获得卡内基梅隆大学（CMU）(www.cmu.edu)的化学学士学位。 1949年和1950年，分别获得MIT的数学硕士与博士学位。其博士论文题目为 “On Integral Equations, their Solution by Iteration and Analytic Continuation”.

Alan是著名的CMU计算机科学系的首位系主任在1965年到1971年。在1971年，Alan加入耶鲁大学计算机科学系，并在1976年到1980年出任计算机系系主任。 1982年， Alan在耶鲁大学计算机系任职期间，撰写了一篇著名的文章 — ”Epigrams on Programming”(编程警言)并发表在ACM SIGPLAN杂志上(Vol. 17, No. 9, September 1982)。这篇包含130个警言的文章得到了工业界和学术界广泛的注意和引用。原文可参见： http://www.cs.yale.edu/quotes.html

http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html 关于Alan更详细的生平和学术介绍可参见：

Alan J. Perlis的生平与学术生涯

http://www.cbi.umn.edu/collections/inv/cbi000.html Alan的学生及其谱系可以参阅如下：

http://people.engr.ncsu.edu/txie/sefamily.htm#perlis Alan的历史照片:

2. 计算的美丽–1967年图灵奖获得者Maurice V. Wikes

Maurice Vincent Wilkes (06/26/1913—)

图灵奖获得时间：

1967 年。第二位图灵奖获得者。图灵奖引用(Turing Award Citation) ：

“Professor Wilkes is best known as the builder and designer of the EDSAC, the first computer with an internally stored program. Built in 1949, the EDSAC used a mercury delay line memory. He is also known as the author, with Wheeler and Gill, of a volume on “Preparation of Programs for Electronic Digital Computers” in 1951, in which program libraries were effectively introduced.”

【笔者译：】 “(授予Maurice V. Wilkes图灵奖以表彰其在)Wikes 教授以设计和实现了第一台具有内部存储程序的计算机EDSAC而闻名。EDSAC在1949年5月成功运行并使用了汞(Mercury Delay Line)的存储器。与Wheeler和Gill一起，Wilkes教授在1951年出版了“Preparation of Programming for Electronic Digital Computers”一书。在这本书中，程序库的概念和用法被首次有效的提出。” 笔者注：

EDSAC: Electronic Delay Storage Automatic Calculator EDSAC项目是1946年开始的。

一般而言，学术与工业界认为，世界上第一台通用电子计算机是ENIAC(electronic numerical integrator and computer)。ENIAC是有美国宾州大学电子系Moore School of Electrical Engineering (University of Pennsylvania)在1943年到1946年设计的。其主要贡献者是J. Presper Eckert and John Mauchly。ENIAC不是含有存储器结构的计算机。1944年8月，John Mauchly和J. Presper Eckert提出了EDVAC(electronic discrete variable automatic computer)项目。

1944年，John Von Neumann(冯. 诺依漫)加入了ENIAC研发小组。深受图灵(Turing)的Universal Machine的启发，冯. .依漫强调了一个计算机必须具备存储器的结构，在1945年6月撰写了其著名的”\"First Draft of a report to the EDVAC”。这也就是我们常说的冯. 诺依漫机器结构。可惜的是，虽然EDVAC的设计在1946年就完成了，但直到1952年才完成。而此时，剑桥大学的Wilkes已经在1949年完成了EDSAC的设计与工程建造。或者我们说EDSAC是第一台诺依漫机器结构的电子计算机。

目前关于是谁第一个提出存储结构的计算机体系结构，存在着许多不同的声音。人们认为，在诺依漫加入ENIAC项目之前，John Mauchly和J. Presper Eckert就已经提出用水银来做存储器的想法并写下了一个内部备忘录。

“Around the summer of 1943, Mauchly and Eckert discussed the concept of creating a stored-program computer, in which an internal read-write memory would be used to store both instructions and data. This technique would allow the program to branch to alternate instruction sequences based on the results of previous calculations, as opposed to blindly following a pre-determined sequence of instructions. ”

“Eckert’s idea was to use mercury delay lines (which he already knew a great deal about) for the memory. Around the beginning of 1944, Eckert wrote an internal memo on the

subject and, in August 1944, Mauchly and Eckert proposed the building of another machine called the electronic discrete variable automatic computer (EDVAC).

历史的许多往事是很难彻底清楚的。我们可以相信，在诺依漫写下其存储结构的计算机设计报告之前，这些想法都已经存在和被讨论过。从历史的长河来看，我们后来人对这些早期的科学家们都是一样的尊敬，是他/她们为人类带来了计算的美丽, 是他/她们创造了新的文明，

一些相关链接，以方便读者阅读更多的资料: ENIAC Wiki: http://en.wikipedia.org/wiki/ENIAC EDSAC Wiki: http://en.wikipedia.org/wiki/EDSAC EDVAC Wiki: http://en.wikipedia.org/wiki/EDVAC

EDSAC 50周年的纪念活动：http://www.cl.cam.ac.uk/UoCCL/misc/EDSAC99/ 更多的关于EDSAC的图片资料： http://www.cl.cam.ac.uk/Relics/archive_photos.html Von Neumann: http://en.wikipedia.org/wiki/John_von_Neumann Turing Award Lecture(图灵奖演讲文章)：

“Computers Then and Now”, Journal of the ACM (JACM) Volume 15 , Issue 1 (January 1968) Pages: 1 – 7.

Presented at the ACM 20th Anniversary Conference, Washington, D.C., August 1967. ABSTRACT

Reminiscences on the early developments leading to large scale electronic computers show that it took much longer than was expected for the first of the more ambitious and

fully engineered computers to be completed and prove themselves in practical operation. Comments on the present computer field assess the needs for future development. Maurice Vincent Wilkes简介:

Maurice Vincent Wilkes生于1913年6月26日，Staffordshire, 英国。是剑桥大学计算机实验室的所长，领导了整个EDSAC，第一台存储结构的电子计算机的设计与实现。同时，Wilkes也是现代程序设计中label(标号), macro(宏)，

microprogramming(ROM微码编程)的发明人。另外，与David Wheeler和Stanley Gill一起，发明了程序语言中子程序(subroutines)的概念与机制

Wilkes 1934年于St. John College获得其学士学位，1936年在剑桥大学获得其博士学位。其博士论文题目为“the propagation of very long radio waves in the ionosphere”。

Wilkes是在1946年5月，Leslie Comrie从美国回来并带来了von Neumann’s First Draft of a Report on the EDVAC。 Wilkes读了一个晚上并相信存储器结构的计算机是正确的方向。

Wilkes然后得到了一个机会参加在UPENN的夏天讨论班。讨论班的题目是：“Theory and Techniques for Design of Electronic Digital Computers”。时间是7/8/1946–8/31/1946。这UPENN期间，Wilkes详细了解了ENIAC并参加了EDVAC 设计的讨论，并且

认识了John Mauchly 和Presper Eckert 。

1946年的10月，Wilkes回到英国，并开始EDSAC的设计与实现工作。。。 http://ei.cs.vt.edu/~history/Wilkes.html

在剑桥大学的主页：http://www.cl.cam.ac.uk/users/mvw1/

Maurice Vincent Wilkes的照片

3. 计算的美丽–1968年图灵奖获得者Richard Hamming

Richard Wesley Hamming (02/11/1915—1/07/1998)

图灵奖获得时间：

1968 年。第三位图灵奖获得者。图灵奖引用 (Turing Award Citation) ：

For his work on numerical methods, automatic coding systems, and error-detecting and error-correcting codes.

【笔者译：】“ ( 授予 Richard Hamming 图灵奖以表彰其在 ) 数字方法，自动编码系统和错误检测和错误纠正编码领域的杰出贡献。”

【笔者注：】

Richard Hamming是著名的汉明码的发明人。汉明码是一种多重（复式）奇偶检错系统。它将信息用逻辑形式编码，以便能够检错和纠错。用在汉明码中的全部传输码字是由原来的信息和附加的奇偶监督位组成的。每一个这种奇偶位被编在传输码字的特定比特位置上。实现得合适时，这个系统对于错误的数位无论是原有信息位中的，还是附加监督位中的都能把它分离出来。汉明码被广泛应用在数据通讯领域中。

关于汉明码和编码理论中的检错和纠错，可参见：检错和纠错： http://oldchild.nbc.net.cn/jsjsj/asm/jchjc.htm

编码理论：http://www.math.cuhk.edu.hk/publect/lecture6/Publec.ppt Hamming Code: http://en.wikipedia.org/wiki/Hamming_code

通常，编码理论(Coding Theory)属于信息理论(Information Theory)的范畴 Coding Theory: http://en.wikipedia.org/wiki/Information_theory Information Theory: http://en.wikipedia.org/wiki/Information_theory

关于编码理论的更多收集可参见：http://math.usask.ca/fvk/CodingTheory.html Turing Award Lecture(图灵奖演讲文章)：

“One Man’s View of Computer Science”, Journal of the ACM, 16(1):3-12, January 1969 “ABSTRACT : A number of observations and comments are directed toward suggesting that more than the usual engineering flavor be given to computer science. The engineering aspect is important because most present difficulties in this field do not involve the theoretical question of whether certain things can be done, but rather the practical question of how can they be accomplished well and simply. The teaching of computer science could be made more effective by various alterations, for example, the inclusion of a laboratory course in programming, the requirement for a strong minor in something other than mathematics, and more practical coding and less abstract theory, as well as more seriousness and less game playing. ” Richard W. Hamming 简介:

Richard W. Hamming 1915年2月11日出生于美国芝加哥，1998年1月7日去世与加州Monterey。Hamming博士是一位杰出的数学家，他对计算机科学和通讯领域的贡献包括：Hamming Code(汉明码)， Hamming Window, Hamming numbers, Sphere-packing(或称之为Hamming Bound)和Hamming Distance。

Richard W. Hamming1937年于芝加哥大学(University of Chicago)获得其学士学位，1939年于University of Nebraska获得其硕士学位， 1942年在UIUC(University of Illinois at Urbana-Champaign)获得其数学博士学位。其博士论文题目是：“Problems in the Boundary Value Theory of Linear Differential Equations”。汉明码(Hamming Code)的工作主要是在1950年完成的.

Richar W. Hammingamming一生获得的荣誉很多，主要的如下：

Association for Computing Machinery Turing Award, 1968. Fellow of the IEEE, 1968.

IEEE Emanuel R. Piore Award, 1979.

Member of the National Academy of Engineering, 1980. University of Pennsylvania Harold Pender Award, 1981. IEEE Richard W. Hamming Medal, 1988. Eduard Rhein Award, 1996.

The Richard W. Hamming Medal is an award given annually by IEEE for ‘exceptional contributions to information sciences, systems and technology’. Richard W. Hamming的历史照片：

4. 计算的美丽–1969年图灵奖获得者Marvin Minsky

Marvin Lee Minsky(08/09/1927─)

图灵奖获得时间：

1969 年。第四位图灵奖获得者。图灵奖引用(Turing Award Citation) ：

The citation for this award winner is not currently available.

【笔者注：】在ACM的官方网站上，没有对Marvin Minsky的图灵奖的

Citation。但通常我们说Marvin Minsky是通过其在人工智能研究方面的杰出成就而获得1969年的图灵奖的。当年他才42岁。

Minsky被认为是20世纪人工智能(AI)研究的奠基人之一。1961年，Minsky发表了其著名的文章：Steps Toward Artificial Intelligence。原文可参见： http://web.media.mit.edu/~minsky/papers/steps.html

1951年，Minsky建构了世界上第一个神经元网络模拟器–SNARC 更多的关于神经元网络: http://www.aaai.org/AITopics/html/neural.html 关于人工智能的一些介绍可参见：

Artificial Intelligence: http://en.wikipedia.org/wiki/Artificial_intelligence Brief History of Artificial Intelligence: http://www.aaai.org/AITopics/bbhist.html

http://www.answers.com/topic/history-of-artificial-intelligence Turing Award Lecture(图灵奖演讲文章)：

”Form and Content in Computer Science”, Journal of the Association for Computing Machinery, Vol. 17, No. 2, April 1970

ABSTRACT. An excessive preoccupation with formalism is impeding the development of computer science. Form-content confusion is discussed relative to three areas: theory of computation, programming languages, and education. 原文可参

见：http://web.media.mit.edu/~minsky/papers/TuringLecture/TuringLecture.html Marvin L. Minsky简介:

Minsky1927年8月出身于美国纽约。Minsky于1950年在哈佛大学获得其数学学士学位；1954年从普林斯顿(Princeton)获得其数学博士学位。 Minsky是MIT AI 实验室的创办人之一。

Marvin L. Minsky Wiki: http://en.wikipedia.org/wiki/Alan_Perlis Marvin Minsky Website at MIT: http://web.media.mit.edu/~minsky/ Marvin L. Minsky照片:

5. 计算的美丽–1970年图灵奖获得者James H. Wilkinson

James Hardy Wilkinson (09/27/1919–0/05/1986)

图灵奖获得时间：

1970年。第五位图灵奖获得者。图灵奖引用(Turing Award Citation) ：

“For his research in numerical analysis to facilitate the use of the high-speed digital computer, having received special recognition for his work in computations in linear algebra and “backward” error analysis. ” 【笔者译：】

“ ( 授予 James H. Wilkinson 图灵奖以表彰其在 )数值分析(numberical analysis)研究领域的杰出贡献。其工作加速了数字计算机(在科学计算中)的使用。Wilkinson在线性代数和向后误差分析(backward error analysis)的创造性工作也获得了非常大的成功。” 【笔者注：】

在数值分析中，我们知道著名的James H. Wilkinson多项式:

which has k roots: 1, 2, …, k.

The problem of finding the roots is ill-conditioned: A small change in one coefficient can lead to drastic changes in the roots. Wilkinson’s polynomial of degree 20 has 20 roots, but, as the graph below shows, the function becomes almost horizontal near the x-axis.

数值分析简介 :

http://en.wikipedia.org/wiki/Numerical_analysis

http://ocw.mit.edu/OcwWeb/Mathematics/18-330Spring-2004/CourseHome/index.htm http://www.baidu.com/s?wd=%CA%FD%D6%B5%B7%D6%CE%F6&cl=3

另外，James Milkinson也是Pilot ACE计算机的主要贡献者之一。Pilot ACE是英国最早期的计算机之一。 Pilot ACE的资料可见：

http://en.wikipedia.org/wiki/Pilot_ACE http://www.answers.com/topic/pilot-ace

http://www.sciencemuseum.org.uk/on-line/treasure/objects/1956-152.asp Turing Award Lecture(图灵奖演讲文章)：

“Some Comments from a Numerical Analyst”. J. ACM 18(2): 137-147(1971) James H. Wilkinson 简介 :

James H. wilkinson1919年9月27日生于Strood, 英国。1986Wilkinson 在Trinity College, Cambridge以优异的成绩毕业。1946年，Wilkinson加入了National Physical Laboratory 并与Aln Turing(图灵)一起设计ACE计算机,成为Turing的助手。。

关于著名的Trinity College, Cambridge, 可参见： http://www.trin.cam.ac.uk/

http://en.wikipedia.org/wiki/Trinity_College,_Cambridge

Trinity College, Cambridge涌现过许多Nobel Prize获得者，比如： 1904 Lord Rayleigh (Physics) 1906 J. J. Thomson (Physics) 1908 Ernest Rutherford (Chemistry) 1915 Sir William Henry Bragg (Physics) 1915 Lawrence Bragg (Physics) 1917 Charles Glover Barkla (Physics) 1921 Niels Bohr (Physics)

1922 Archibald V. Hill (Physiology or Medicine) 1925 Sir Austen Chamberlain (Peace) 1928 Owen Willans Richardson (Physics)

1929 Sir Frederick Hopkins (Physiology or Medicine)

1932 Edgar Adrian (Physiology or Medicine) 1936 Sir Henry Dale (Physiology or Medicine) 1937 George Paget Thomson (Physics) 1946 Edgar V. Appleton (Physics) 1950 Bertrand Russell (Literature)

1951 Ernest T. S. Watson (Physiology or Medicine) 1952 Richard L. M. Synge (Chemistry) 1962 John C. Kendrew (Chemistry)

1963 Alan L. Hodgkin (Physiology or Medicine) 1963 Andrew F. Huxley (Physiology or Medicine) 1973 Brian D. Josephson (Physics) 1974 Martin Ryle (Physics)

1977 James E. Meade (Economic Sciences) 1978 Pyotr Kapitsa (Physics) 1980 Walter Gilbert (Chemistry) 1982 Aaron Klug (Chemistry)

1983 Subramanyan Chandrasekhar (Physics) 1996 James A. Mirlees (Economic Sciences) 1998 John Pople (Chemistry) 1998 Amartya Sen (Economics)

关于著名的 National Physical Laboratory(NPL), 可参见： http://www.npl.co.uk/

James H. Wilkinson的历史照片

J. H. Wilkinson and the Pilot ACE, 1951, National Physical Laboratory, Teddington, England.

Wilkinson describing a matrix algorithm to an audience at Argonne in the early 1970s. 关于James H. Wilkinson更详细的生平介绍可参见：

http://www-groups.dcs.stand.ac.uk/~history/Mathematicians/Wilkinson.html

6. 计算的美丽–1971年图灵奖获得者John McCarthy

John McCarthy (09/04/1927–)

图灵奖获得时间：

1971 年。第六位图灵奖获得者。图灵奖引用(Turing Award Citation) ：

Dr. McCarthy’s lecture “The Present State of Research on Artificial Intelligence” is a topic that covers the area in which he has achieved considerable recognition for his work. 【笔者译：】

“ ( 授予 John MacCarthy图灵奖 ) MacCarthy博士的”人工智能研究的现状“一文充分体现了其在人工智能领域有目共睹的杰出的贡献。” 【笔者注：】

关于人工智能的一些介绍可参见：

Artificial Intelligence: http://en.wikipedia.org/wiki/Artificial_intelligence Brief History of Artificial Intelligence: http://www.aaai.org/AITopics/bbhist.html

http://www.answers.com/topic/history-of-artificial-intelligence

例外，McCarthy也是著名人工智能语言Lisp的发明者。关于Lisp的一些基本介绍可参见：

Lisp语言的主站： www.lisp.org

Lisp的历史介绍(Brief History of the Lisp Language): http://www.lisp.org/table/Lisp-History.html Lisp的人们及其他一些教育资料： http://www.lisp.org/alu/res-lisp-education

http://www.engin.umd.umich.edu/CIS/course.des/cis400/lisp/lisp.html Turing Award Lecture (图灵奖演讲文章)：

Generality in Artificial Intelligence. Commun. ACM 30(12): 1029-1035(1987) 笔者注：此文直到1987年才被收集发表。

Abstract: My 1971 Turing Award Lecture was entitled “Generality in Artificial Intelligence.” The topic turned out to have been overambitious in that I discovered I was unable to put my thoughts on the subject in a satisfactory written form at that time. It would have been better to have reviewed my previous work rather than attempt something new, but such was not my custom at that time. I am grateful to ACM for the opportunity to try again. Unfortunately for our science, although perhaps fortunately for this project, the problem of generality in artificial intelligence (AI) is almost as unsolved as ever, although we now have many ideas not available in 1971. This paper relies heavily on such ideas, but it is far from a full 1987 survey of approaches for achieving generality. Ideas are therefore discussed at a length proportional to my familiarity with them rather than according to some objective criterion. It was obvious in 1971 and even in 1958 that AI programs suffered from a lack of generality. It is still obvious; there are many more details. The first gross symptom is that a small addition to the idea of a program often involves a complete rewrite beginning with the data structures. Some progress has been made in modularizing data structures, but small modifications of the

search strategies are even less likely to be accomplished without rewriting. Another symptom is no one knows how to make a general database of commonsense knowledge that could be used by any program that needed the knowledge. Along with other information, such a database would contain what a robot would need to know about the effects of moving objects around, what a person can be expected to know about his family, and the facts about buying and selling. This does not depend on whether the knowledge is to be expressed in a logical language or in some other formalism. When we take the logic approach to AI, lack of generality shows up in that the axioms we devise to express commonsense knowledge are too restricted in their applicability for a general commonsense database. In my opinion, getting a language for expressing general commonsense knowledge for inclusion in a general database is the key problem of generality in AI. Here are some ideas for achieving generality proposed both before and after 1971. I repeat my disclaimer of comprehensiveness.

McCarthy在其Stanford大学的网页上，发布了其原文的修改稿。 http://www-formal.stanford.edu/jmc/generality/generality.html http://www-formal.stanford.edu/jmc/generality.html John McCarthy 简介:

McCarthy1927年9月出身于美国波士顿。1948年在加州理工大学(California Institute of Technology) 获得其数学学士位。 1951年资普林斯顿(Princeton University) 获得其数学博士学位。然后，McCarthy分别就职与普林斯顿，斯坦福(www.stanford.edu ), Dartmouth (www.dartmouth.edu )和MIT(www.mit.edu ) 。AI(人工智能)一词通常认为是McCarthy 1955年在DartMouth期间的一个会议上提出来的(http://en.wikipedia.org/wiki/Dartmouth_Conference )。 1962年，McCarthy加入坦福大学，并创建了斯坦福人工智能实验室，并一直领导着这方面的工作直到2000年退休。 McCarthy也是MIT 人工智能实验室的发起人之一。也是人工智能语言LISP的发明者。McCarthy 是Standford AI Lab 创办人。John

McCarthy Wiki: http://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29

John McCarthy的一些照片：

7. 计算的美丽–1972年图灵奖获得者Edsger Wybe Dijkstra

Edsger Wybe Dijkstra (04/01/1930-08/06/2002)

图灵奖获得时间：

1972 年。第七位图灵奖(1972年) 获得者。图灵奖引用 (Turing Award Citation) ：

Edsger Dijkstra was a principal contributor in the late 1950’s to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor. He is one of the principal exponents of the science and art of

programming languages in general, and has greatly contributed to our understanding of their structure, representation, and implementation. His fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the field of programming languages. 【笔者译：】

Edsger Dijkstra是1950年代ALGOL语言的一个主要贡献者。ALGOL高级编程语言已经成为结构清晰，数学基础严谨的一个典范。E. W. Dijkstra是现代编程语言的主要贡献者之一，为我们理解程序语言的结构，表示方法与实现做出了巨大的贡献。E. W. Dijkstra 15年的学术著作覆盖了图论的理论工作，教育手册，解释文章和编程语言领域的哲学思考。【笔者注：】

关于 ALGOL 语言，可参阅：

http://www.engin.umd.umich.edu/CIS/course.des/cis400/algol/algol.html http://en.wikipedia.org/wiki/ALGOL_programming_language 。关于编程语言的历史与演变，可参见：计算机语言发展历史

http://www.byte.com/art/9509/sec7/art19.htm

E. W. Dijkstra 设计与实现了第一个ALGOL60编译器。

在现代编程语言方面，E. W. Dijkstra也以他著名的反对(过分)使用GOTO语句的文章而著名。1968年，E. W. Dijkstra撰写了其“GoTo Statement Considered Harmful”一文。这篇文章被认为是现代编程语言逐渐不鼓励使用GOTO 语句，而使用编程控制结构，如while loop等等的一个分水岭。一个有趣的插曲是E. W. Dijkstra的这

篇文章的题目其实并不是他自己取得，而是Communications of the ACM的编辑Niklaus Wirth的杰作。其原文可参见：

http://www.acm.org/classics/oct95/ 或

http://en.wikipedia.org/wiki/Go_To_Statement_Considered_Harmful E. W. Dijkstra也是著名的Dijkstra 最短路径算法的作者。 Dijkstra 最短路径算法

http://en.wikipedia.org/wiki/Dijkstra%27s_algorithm

Dijkstra 最短路径算法被广泛的应用在网络协议方面，如OSPF。另外，Dijkstra也是操作系统中Semaphore的提出者。 Turing Award Lecture (图灵奖演讲文章)：

The Humble Programmer. Commun. ACM 15(10): 859-866(1972) 全文可参阅：

http://www.cs.utexas.edu/~EWD/ewd03xx/EWD340.PDF

http://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html http://www.dmi.unict.it/~pistagna/humbleprogr.html E. W. Dijkstra 简介 :

Edsger Wybe Dijkstra Wiki: http://en.wikipedia.org/wiki/Edsger_Dijkstra

E. W. Dijkstra 1930年5月11日出生于the Netherlands(荷兰)Rotterdam. 去世于2002年8月6日于Nuenen, the Netherlands.年轻时代，Dijkstra在University of Leiden, the Netherlands. Leiden大学是荷兰最古老的大学。学习理论物理，但很快他就意识到其兴趣不在于理论物理虽然获得了其数学和理论物理的学位。后来，Dijkstra获得了其博士学位从University of Amsterdam. 1952年-1962年，E. W. Dijkstra是Materematisch Centrum, Amsterdam的一个程序员。 1962年-1984年，作为一个数学教授任职与Eindhoven Unviersity of Technology. 1984年至1999年，作为计算机系系主任任职与美国UT Austin分校，并于1999年退休。

Dijkstra于2002年8月6日去世，下面是UT Austin在2002年8月7日发出的仆告：

http://www.utexas.edu/opa/news/02newsreleases/nr_200208/nr_dijkstra020807.html E. W. Dijkstra的历史照片：

8. 计算的美丽–1973年图灵奖获得者Charles W. Bachman

Charles W. Bachman(12/11/1924–)

图灵奖获得时间：

1973 年。第八位图灵奖(1972年) 获得者。图灵奖引用(Turing Award Citation) ：

For his outstanding contributions to database technology. 【笔者译：】

“ ( 授予Charles W. Bachman 图灵奖以表彰其在)数据库技术方面的杰出贡献。” 【笔者注：】

Bachman是图灵奖获得者中比较特殊的一个。Bachman基本上是在工业界里，而没有在学术界里作过研究或教职工作。

关于Bachman在数据处理，数据库方面的研发工作和其职业生涯的一个比较完整的收集可参见：

http://www.cbi.umn.edu/collections/inv/cbi00125.html

http://www.computerhistory.org/events/lectures/bachman_04162002/bachman.shtml

关于数据库的历史与演变，可参见：

http://math.hws.edu/vaughn/cpsc/343/2003/history.html http://en.wikipedia.org/wiki/Database

关系数据库: http://en.wikipedia.org/wiki/Relational_model Turing Award Lecture(图灵奖演讲文章)：

The Programmer as Navigator. Commun. ACM 16(11): 635-658(1973) Charles W. Bachman 简介 :

Charles W. Bachman Wiki: http://en.wikipedia.org/wiki/Charles_Bachman 关于Charels W. Bachman的生平，可参见：

http://www.computerhistory.org/events/lectures/bachman_04162002/bachman.shtml

9. 计算的美丽–1974年图灵奖获得者Donald Knuth

Donald E. Knuth(01/10/1938–)

图灵奖获得时间：

1974 年。第九位图灵奖(1974年)获得者。图灵奖引用(Turing Award Citation) ：

For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to the “art of computer programming” through his well-known books in a continuous series by this title. 【笔者译：】

“ ( 授予Donald E. Knuth图灵奖以表彰其在) 算法分析和程序语言设计领域的杰出贡献，特别是其著名的“Art of Computer Programming”系列丛书。” 【笔者注：】

计算机历史官方网站对Knuth的介绍：

http://www.computerhistory.org/events/index.php?spkid=0&ssid=1090020922 Knuth在Stanford University的主页： http://www-cs-faculty.stanford.edu/~knuth/ 关于“计算机编程的艺术”丛书的介绍，可参见：

http://en.wikipedia.org/wiki/The_Art_of_Computer_Programming http://www-cs-faculty.stanford.edu/~knuth/taocp.html Turing Award Lecture(图灵奖演讲文章)：

Computer Programming as an Art. Commun. ACM 17(12): 667-673(1974) Donald Knuth简介:

Knuth Wiki: http://en.wikipedia.org/wiki/Donald_Knuth

Knuth1938年1月10日出生于Milwaukee, Wisconsin, USA. 1960年，Knuth以其本科论文的工作同时获得其学士与硕士学位在Case Institute of Technology(Case Insitute of Technology于1960年与Western Reserve University合并为Case Western

REserve University,位於 Cleveland, Ohio, USA. www.case.edu ) 1963年，Knuth在加州理工学院获得其数学博士学位，同时并留校任教并开始着手撰写其著名的“计算机编程的艺术(The Art of Computer Programming”一书。Knuth最开始打算写7卷。1968年，Knuth完成了第一卷。同年，Knuth获得了斯坦福大学的教职位置，并一直工作到退休。1969年，Knuth完成了第二卷，1973年完成了第三卷。关于“计算机编程的艺术”丛书的介绍，可参

见： http://en.wikipedia.org/wiki/The_Art_of_Computer_Programming

1976年，当Knuth准备其书的第二卷的第二版时，非常沮丧当时的书籍排版技术，於是Knuth自己发明了著名的TEX和METAFONT排版软件。

一个关于Knuth和其书籍的有趣的故事是，Knuth给任何如果能找出并证明其书中的错误的人256美分的报酬。关于为什么是256美分，原因是： 256 pennies is one hexadecimal dollar。

另外Knuth是一个非常有其个性的人。从1990年1月1日开始，Knuth决定不再使用EMAIL。他认为EMAIL不是一个有效率的工具，比较浪费时间。目前，Knuth正专注于其计算机编程艺术的第四和第五卷。可参见： http://www-cs-faculty.stanford.edu/~knuth/taocp.html#vol4 目前五卷的书名如下： Fundamental Algorithms Seminumerical Algorithms

Sorting and Searching Combinatorial Algorithms Syntactic Algorithms

计划在2010年完成卷四和卷五的工作。计划中的卷六和卷七为：

The Theory of Context-Free Languages Compiler Techniques Knuth的一些个人照片：

10. 计算的美丽–1975年图灵奖获得者Allen Newell

Allen Newell(03/19/1927–07/19/1992)

图灵奖获得时间：

1975 年。第十位图灵奖(1975年)获得者(与Herbert Simon共同获得) 。图灵奖引用 (Turing Award Citation)：

In joint scientific efforts extending over twenty years, initially in collaboration with J. C. Shaw at the RAND Corporation, and subsequentially with numerous faculty and student collegues at Carnegie-Mellon University, they have made basic contributions to artificial intelligence, the psychology of human cognition, and list processing. 【笔者译：】

“(授予Allen Newell图灵奖以表彰其在)开始于与在RAND(兰德)公司的与J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity (CMU) 的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。” 【笔者注：】

RAND Cooperation(兰德公司): http://www.rand.org

兰德公司有美国智库一称。是一个非营利性质的研究结构。Allen在信息处理语言(Information Processing Language)方面，最早的两个AI(人工智能)语言 Logic Theory Machine和General Problem Solver做出了杰出的贡献。关于Information Processing Language(IPL)方面，可参见： http://en.wikipedia.org/wiki/Information_Processing_Language http://www.ipl.t.u-tokyo.ac.jp/research/index.html http://www.ipl.t.u-tokyo.ac.jp/papers.html http://www.aaai.org/AITopics/html/sys.html 关于Logic Theory Machine, 可参见：

http://bi.snu.ac.kr/Courses/g-cogs99/Logic_Theory_Machine.ppt

http://www.google.com/search?hl=en&lr=&q=Logic+Theory+Machine&btnG=Search 关于General Problem Solver,可参见：

http://en.wikipedia.org/wiki/General_Problem_Solver http://www.cs.umbc.edu/471/notes/11/sld031.htm 或者：

http://www.google.com/search?hl=en&lr=&q=+General+Problem+Solver&btnG=Search 关于认知科学(congition)方面的介绍，可参见： http://en.wikipedia.org/wiki/Cognitive_science

http://plato.stanford.edu/entries/cognitive-science/ http://www.cognitivesciencesociety.org/ Turing Award Lecture(图灵奖演讲文章)：

“Computer Science as Empirical Inquiry: Symbols and Search”. Commun. ACM 19(3): 113-126(1976) Allen Newell简介:

Allen Newell生于1927年3月19日，去世于1992年7月19日。Allen是一个杰出的计算机和认知科学领域方面的科学家。

Allen Newell1949年-1950年在普林斯顿大学攻读其数学的研究生学位。在普林斯顿期间，Newell接触了当时新兴的学科博弈论 (Game Theory) 。Newell 结合其自己对数学学习的经验和理解，他决定选择一个实验与理论相结合的研究方向，而不是往纯数学方向发展。离开普林斯顿后，Newell加入了有美国智库之称的兰德公司(RAND)。

Allen Newell一生获得的荣誉很多，比如： 1971 - John Danz Lecturer, University of Washington

1971 - Harry Goode Memorial Award, American Federation of Information Processing Societies

1972 - National Academy of Sciences

1972 - American Academy of Arts and Sciences

1975 - A. M. Turing Award (with H. A. Simon), Association for Computing Machinery 1976-77 - John Simon Guggenheim Fellow

1979 - Alexander C. Williams Jr. Award (with William C. Biel, Robert Chapman and John L. Kennedy), Human Factors Society 1980 - National Academy of Engineering

1980 - First President, American Association for Artificial Intelligence 1982 - Computer Pioneer Award, Charter Recipient, IEEE Computer Society 1985 - Distinguished Scientific Contribution Award, American Psychological Association

1986 - Doctor of Science (Honorary), University of Pennsylvania 1987 - William James Lectures, Harvard University

19 - Award for Research Excellence, International Joint Conference on Artificial Intelligence

19 - Doctor in the Behavioral and Social Sciences (Honorary), University of Groningen, The Netherlands

19 - William James Fellow Award (charter recipient), American Psychological Society 1990 - Emanuel R. Piore Award, Institute for Electrical and Electronic Engineers 1992 - National Medal of Science

1992 - Franklin Institute’s Louis E. Levy Medal

Allen Newell Wiki: http://en.wikipedia.org/wiki/Allen_Newell

Allen Newell1992年7月19日去世后，Herbert Simon撰写的悼念文章： http://fermat.nap.edu/readingroom/books/biomems/anewell.html Allen Newell的历史照片:

11. 计算的美丽–1975年图灵奖获得者Herbert Simon

Herbert Simon(06/15/1916—02/09/2001)

图灵奖获得时间：

1975年。第十位图灵奖(1975年)获得者(与Allen Newell联合获得) 。图灵奖引用(Turing Award Citation) ：

“(授予Herbert Simon图灵奖以表彰其在)开始于与在RAND(兰德)公司的与J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity(CMU)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。” 笔者注：

Hebert同时也是1978年诺贝尔经济学奖的获得者。其诺贝尔奖的引用是： “for his pioneering research into the decision-making process within economic organizations”

RAND Cooperation(兰德公司): http://www.rand.org/

兰德公司有美国智库一称。是一个非营利性质的研究结构。

Herbert在信息处理语言(Information Processing Language)方面，最早的两个AI(人工智能)语言 Logic Theory Machine和General Problem Solver做出了杰出的贡献。关于Information Processing Language(IPL)方面，可参

见：http://en.wikipedia.org/wiki/Information_Processing_Language http://www.ipl.t.u-tokyo.ac.jp/research/index.html http://www.ipl.t.u-tokyo.ac.jp/papers.html http://www.aaai.org/AITopics/html/sys.html 关于Logic Theory Machine, 可参见：

http://bi.snu.ac.kr/Courses/g-cogs99/Logic_Theory_Machine.ppt

http://www.google.com/search?hl=en&lr=&q=Logic+Theory+Machine&btnG=Search 关于General Problem Solver,可参见：

http://en.wikipedia.org/wiki/General_Problem_Solver http://www.cs.umbc.edu/471/notes/11/sld031.htm 或者：

http://www.google.com/search?hl=en&lr=&q=+General+Problem+Solver&btnG=Search 关于认知科学(congition)方面的介绍，可参见： http://en.wikipedia.org/wiki/Cognitive_science http://plato.stanford.edu/entries/cognitive-science/ http://www.cognitivesciencesociety.org/ Turing Award Lecture(图灵奖演讲文章)：

“Computer Science as Empirical Inquiry: Symbols and Search”. Commun. ACM 19(3): 113-126(1976) Herbert Simon简介:

Herbert Simon Wiki: http://en.wikipedia.org/wiki/Herbert_Simon

Herbert Simon在CMU的主页, 详细介绍了Herbert Simon教授的生平介绍和其研究工作:

http://www.psy.cmu.edu/psy/faculty/hsimon/hsimon.html 下面是关于Herbert Simon生平的一些文章：

http://www.psychologicalscience.org/observer/0401/simon.html http://www.post-gazette.com/obituaries/20010210simon2.asp http://www.umsl.edu/~sauter/DSS/10SIMON.html

Allen Newell1992年7月19日去世后，Herbert Simon撰写的悼念文章： http://fermat.nap.edu/readingroom/books/biomems/anewell.html Herbert Simon历史照片:

12. 计算的美丽–1976年图灵奖获得者Michael Rabin

Michael Oser Rabin (1931–)

图灵奖获得时间：

1976年。第十一位图灵奖(1976年)获得者。图灵奖引用(Turing Award Citation) ：

For their joint paper “Finite Automata and Their Decision Problem,” which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field. 【笔者译：】

“( 授予 Michael O. Rabin图灵奖以表彰其 )( (与Dana Steward Scott合作撰写的研究论文)有限自动机与其判定性问题。在该研究论文中，提出了非确定性(自动机)机器的观点。(在计算理论科学研究中，)非确定性被证明是一个非常重要的概念。Rabin和Scott的这篇经典文章成为这个领域后续研究的基石。” 【笔者注：】

Rabin著名论文可参见：有限自动机与其判定性问题（PDF 格式）自动机理论介绍：

http://en.wikipedia.org/wiki/Automata_theory http://en.wikipedia.org/wiki/Finite_state_machine Simulation of an NFA by a DFA 关于DFA和计算理论的书籍：

http://books.google.com/books?q=Finite+Automata+and+Their+Decision+Problem&oi=print

http://books.google.com/books?q=DFA+theory+of+computing&oi=print Comp.Theory FAQ:

http://www.cs.uwaterloo.ca/~alopez-o/comp-faq/faq.html Book of “Introduction to the Theory of Computation” from MIT: http://www-math.mit.edu/~sipser/book.html Turing Award Lecture(图灵奖演讲文章)：

Logic and Programming Languages. Commun. ACM 20(9): 634-1(1977) Michael O. Rabin 简介:

Michael O. Rabin Wiki: http://en.wikipedia.org/wiki/Michael_O._Rabin Michael O. Rabin在哈佛大学网站上的个人简历：

http://www.deas.harvard.edu/directory/professionalbio/index.html?id=2542

Answer.com关于Michael O. Rabin的介绍: http://www.answers.com/topic/michael-o-rabin

Michael Oser Rabin生于1931年于Breslau,德国的一个犹太人家庭。Beslau在二战后属于波兰。

Michael在1953年从Hebrew University of Jerusalem( www.huji.ac.il ) 获得其硕士学位;1956年从普林斯顿大学获得其博士学位。

除了其与Danna Scott合作的关于非确定性自动机理论并获得了图灵奖之外，Michael的学术生涯非常丰富，在1975年，Rabin发明了Miller-Rabin primality test; 1979年，发明了Rabin Crytosystem; 1981年发明了Oblivious Transfer; 1987年发明了Rabin-Karp String Search Algorithm。

目前，Rabin是哈佛大学计算机系的教授。可参见：

www.cs.harvard.edu 。另外，Rabin也是希伯来大学计算机系(www.cs.huji.ac.il ) 的教授。可参见：

http://www.cs.huji.ac.il/people/index.php?id=1&in=t http://www.cs.huji.ac.il/images/personal_info.gif 关于Micahel的其他著名的算法，可参见： • Miller-Rabin primality test • Rabin cryptosystem

• Rabin-Karp string search algorithm • Oblivious transfer

Michael O. Rabin照片:

13. 计算的美丽–1976年图灵奖获得者Dana Scott

Dana Stewart

Scott (1932–) 图灵奖获得时间：

1976年。第十一位图灵奖(1976年)获得者。图灵奖引用(Turing Award Citation) ：

【笔者译：】

“ ( 授予 Dana S. Scott图灵奖以表彰其 )( (与Michael O. Rabin合作撰写的研究论文)有限自动机与其判定性问题。在该研究论文中，提出了非确定性(自动机)机器的观点。(在计算理论科学研究中，)非确定性被证明是一个非常重要的概念。Scott和Rabin的这篇经典文章成为这个领域后续研究的基石。” 【笔者注：】

Scott的著名论文可参见：有限自动机与其判定性问题（PDF 格式）

自动机理论介绍：

http://en.wikipedia.org/wiki/Automata_theory http://en.wikipedia.org/wiki/Finite_state_machine

Simulation of an NFA by a DFA 关于DFA和计算理论的书籍：

http://books.google.com/books?q=Finite+Automata+and+Their+Decision+Problem&oi=print

http://books.google.com/books?q=DFA+theory+of+computing&oi=print Comp.Theory FAQ:

Logic and Programming Languages. Commun. ACM 20(9): 634-1(1977)

Dana S. Scott 简介 :

Dana Wiki: http://en.wikipedia.org/wiki/Dana_Scott

Dana在CMU计算机系的主页：http://www.cs.cmu.edu/~scott/

Dana, 生于1932年，1954年在Berkeley获得其数学学士学位。1958年于普林斯顿获得其博士学位。

其博士论文题目是： “Convergent Sequences of Complete Theory”。Dana的博士论文导师就是著名的 Alonzo Church. Church就是著名的Church-Turing Thesis的提出者。另外lambda calculus也是Church的创造性工作。关于Church，可参见： http://en.wikipedia.org/wiki/Alonzo_Church

1960年，Dana离开芝加哥大学，加入了Berkeley数学系，并担任副教授的职位。 1963年，Dana分别在斯坦福大学，Amsterdam和普林斯顿大学任职。 1972年到1981年，Dana就职与牛津大学。 1981年到2003年，Dana就职与CMU并直到退休。目前，Dana生活在加州的Berkeley.

14. 计算的美丽–1977年图灵奖获得者John Backus

John W. Backus(12/3/1924–3/17/2007)

图灵奖获得时间：

1977 年。第十二位图灵奖(1977年)获得者。图灵奖引用(Turing Award Citation)：

For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages. 【笔者译：】

“ ( 授予John Backus 图灵奖以表彰其在) 可实用高级编程系统设计，特别是其在FORTRAN语言方面的设计，以及其在编程语言规约的形式化描述方面的，深奥的，杰出影响力的和持续的贡献。” 笔者注：

关于著名的BNF范式，请参见：

http://en.wikipedia.org/wiki/Backus-Naur_form http://www.garshol.priv.no/download/text/bnf.html http://www.ietf.org/rfc/rfc4234.txt http://www.cs.man.ac.uk/~pjj/bnf/bnf.html Pascal Language Syntax in BNF Notation:

http://www.cs.stevens.edu/~badri/cs616/pas_bnf.html C Language Syntax in XBNF Notation 关于FORTRAN语言：

http://en.wikipedia.org/wiki/Fortran http://www.fortran.com/tutorials.html Turing Award Lecture(图灵奖演讲文章)：

Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs. Commun. ACM 21(8): 613-1(1978) John Backus简介:

John Backus Wiki: http://en.wikipedia.org/wiki/John_Backus John Backus Biographies:

http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Backus.html http://www.thocp.net/biographies/backus_john.htm

John Backus 生于1924年12月3日于美国宾夕法尼亚。。从小John就不是一个勤奋的学生。高中毕业后，John进入University of Virginia学习化学，但没有坚持下去。然后他加入美国陆军从事医疗方面的学习，但9个月后，John也决定退出。移居纽约后，John Backus发现自己对数学很有兴趣。1949年，终于从哥伦比亚大学获得其数学学士学位，并与1950年加入IBM公司。

1954年， Backus组织了一个研发小组开始在IBM 704计算机上的Fortran语言的开发，并于1957年成功运行。Backus 被称为FORTRAN语言之父。

1959年，Backus创造了BNF范式。BNF范式可被用来形式化的描述高级程序语言。

后来Backus着重于函数语言(Functional Programming Language)方面的研究，并研发了命名为FP的编程语言。

John Backus的主要大事年鉴：

1942 Graduated from Hill school Pottstown

1942 Entered the University of Virginia. Joined the army

1945 Entered Flower and Fifth Avenue Medical School in New York 1949 Worked on IBM’S SSEC computer 1950-1952 Watson Lab

1954 Backus and his team publish Fortran

1959 Developng a notation called Backus-Naur Form in collaboration with Naur 1991 Retirement John W. Backus的照片

(前排：John Backus, Peter Naur, Alan Perlis)

15. 计算的美丽–1978年图灵奖获得者Robert Floyd

Robert W. Floyd (06/08/1936—09/25/2001)

图灵奖获得时间：

1978年。第十三位图灵奖(1978年)获得者。图灵奖引用(Turing Award Citation) ：

For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms. 【笔者译：】

“ ( 授予 Robert W. Floyd 图灵奖以表彰其 ) 在高效和可靠性软件设计方法学领域的显著影响；表彰其在下列计算机科学重要分支的奠基性的贡献：(词法)分析理论，编程语言语义，自动程序验证，自动程序综合生成和算法分析。”

笔者注：

关于软件可靠性领域的介绍，可参见：

http://www.ece.cmu.edu/~koopman/des_s99/sw_reliability/ 关于程序语义学，可参见：

http://www.utdallas.edu/~gupta/alps/Proj_Desc/Wang.pdf

http://en.wikibooks.org/wiki/Computer_Science:Programming_Languages/Semantics_Specification

http://en.wikipedia.org/wiki/Semantics_of_programming_languages 关于编程语言领域研究实验室介绍，可参见： http://www.cs.cmu.edu/~mleone/language/projects.html 关于程序验证(Program Verification), 其基本上是关于：

In computer science, program verification is the process of formally proving that a computer program does exactly what is stated in the program specification it was written to realize. It is an instance of formal verification (and more generally formal methods). Program verification is more specific in that it aims to verify the code itself, not only some abstract model of the program.

For functional programming languages, some programs can be verified by equational reasoning, usually together with induction. Code in an imperative language could be proved correct by use of Hoare logic.

读者也可阅读一些形式方法(Formal Methods)领域的一些介绍文章：

Important publications in formal verification 读者可以发现，Robert Floyd的著名文章：Assigning meanings to programs 列在首位。

http://en.wikipedia.org/wiki/Formal_verification

Formal Verification Reviews and Surveys: http://www.cerc.utexas.edu/~jay/fv_surveys/ Formal Methods Virtual Library: http://www.afm.sbu.ac.uk

斯坦福大学的Formal Verification研究小组： http://verify.stanford.edu Turing Award Lecture(图灵奖演讲文章)：

The Paradigms of Programming. Commun. ACM 22(8): 455-460(1979) Robert Floyd简介:

Robert Floyd生于1936年6月8日美国纽约，去世于2001年9月25日。 Robert从小就被视为神童，14岁就完成了其中学教育，然后进入芝加哥大学，并在年仅17岁时(1953年)就获得其文学学士学位。1958年，Robert获得了其第二个学士学位，专业为物理。

20世纪60年代，Robert从事与计算机的工作并发表了许多著名的文章，比如1967年发表的关于程序验证领域的前瞻性文章–Assigning Meanings to Programs.。Robert在程序验证方面的开创性研究对后来程序验证领域著名的Hoare Logic有很大的积极影响作用，这也是为什么我们也通常称Hoare Logic叫做Floyd-Hoare Logic。Hoare是在1969年发表其著名的 “An axiomatic basis for computer programming”. Communications of the ACM, 12(10):576━585, October 1969.

在Robert年仅27时，他被CMU聘请为副教授一职。6年后，获得了斯坦福大学的终身教授的职务。在斯坦福大学，Robert与Donald Knuth成为同事和亲密的朋友。

Robert与Donald Knuth长期紧密合作，他是Knuth的“The Art of Computer Programming”一书的主要审稿人。

Robert W. Floyd Wiki: http://en.wikipedia.org/wiki/Robert_Floyd

斯坦福大学2001年11月7日关于Robert W. Floyd去世后发布的官方文章。值得注意的是，Robert是9月25日辞世的。

http://news-service.stanford.edu/news/2001/november7/floydobit-117.html Donald Knuth写的悼念Robert Floyd的文章:

Robert W Floyd, In Memoriam by Donald E. Knuth, Stanford University: http://sigact.acm.org/floyd/

16. 计算的美丽–1979年图灵奖获得者Kenneth Iverson

Kenneth Eugene Iverson (12/17/1920—10/19/2004)

图灵奖获得时间：

1979年。第十四位图灵奖(1979年)获得者。图灵奖引用(Turing Award Citation) ：

For his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL, for his contributions to the

implementation of interactive systems, to educational uses of APL, and to programming language theory and practice. 【笔者译：】

( 授予 Kenneth E. Iverson 图灵奖以表彰其 ) 在APL程序语言和(计算机)数学符号方面的先驱性的工作；表彰其在教育和普及APL语言和程序语言理论和实践方面的交互式系统的实现工作。笔者注：

APL(A Programming Language):

http://en.wikipedia.org/wiki/APL_programming_language

http://www.engin.umd.umich.edu/CIS/course.des/cis400/apl/apl.html History of APL: http://community.computerhistory.org/scc/projects/apl/ APL On the Net: http://www.chilton.com/~jimw/aplonnet.html APL Developer Network: http://apldn.apl2000.com/default.aspx Turing Award Lecture(图灵奖演讲文章)：

Notation as a Tool of Thought. Commun. ACM 23(8): 444-465(1980)

Kenneth Iverson简介 :

Kenneth Iverson Wiki: http://en.wikipedia.org/wiki/Kenneth_E._Iverson Kennneth Iverson的名言和奇闻逸事： http://keiapl.info/anec

Kenneth Eugene Iverson生于1920年12月17日Alberta,加拿大，去世于2004年多伦多，加拿大。

Ken于1951年从Queen’s University获得其数学学士学位，同年(1951年)于哈佛大学获得其数学硕士学位；1954年在哈佛大学获得其应用数学博士学位。 1960年，Ken在IBM公司与Adin Falkoff合作，发明了APL语言。 90年代，Ken还发明了J语言。关于J语言的资料，可参见： http://www.jsoftware.com/

http://www.cs.trinity.edu/~jhowland/math-talk/functional1/ http://en.wikipedia.org/wiki/J_programming_language 另外，读者可参见计算机程序语言历史： http://www.levenez.com/lang/history.html#01 http://www.levenez.com/lang/

从图表中，读者可以清晰的了解从1954年开始的Fortran语言的计算机程序语言的发展与变迁。

值得注意的是，J语言的另一个发明人是来自中国的Roger Hui.关于Roger Hui的信息可参见：http://en.wikipedia.org/wiki/Roger_Hui

17. 计算的美丽–1980年图灵奖获得者Tony Hoare

C. Antony R. Hoare (1/11/1934–)

图灵奖获得时间：

1980年。第十五位图灵奖(1980年)获得者。图灵奖引用(Turing Award Citation) ：

For his fundamental contributions to the definition and design of programming languages. 【笔者译：】

( 授予C. Antony R. Hoar图灵奖以表彰其在) 程序语言定义与设计领域的根本性的贡献。笔者注：

Hoare对程序设计语言的主要贡献为：Hoare Logic, 快速排序算法(Quicksort)和CSP(Communication Sequential Processes) Hoare Logic:

http://en.wikipedia.org/wiki/Hoare_logic

关于Hoare Logic, 原始文章”An axiomatic basis for computer programming”

发表与1969年Hoare Logic是一个形式语言系统，定义一系列严格的逻辑规则用来推理和验证一个计算机程序的正确性。

Hoare认为Robert Floyd(1978年图灵奖获得者)的早期关于flowchart的工作对其Hoare Logic存在一定的影响。所以Hoare Logic有时也称为Floyd-Hoare Logic。快速排序算法(QuickSort )：关于QuickSort:

http://en.wikipedia.org/wiki/Quicksort

其他的排序算法，可参见： http://en.wikipedia.org/wiki/Sorting_algorithm Sorting Demo: http://www.cs.ubc.ca/spider/harrison/Java/sorting-demo.html Sorting Source Codes and

Comparison: http://linux.wku.edu/~lamonml/algor/sort/sort.html+ CSP:

http://www.usingcsp.com/

Hoare的CSP书电子版： www.usingcsp.com/cspbook.pdf CSP: from theory to practice

25 Years of CSP: http://www.lsbu.ac.uk/menass/csp25/ 更多的关于形式描述语言： http://vl.fmnet.info/csp/ http://www.afm.sbu.ac.uk/

Turing Award Lecture(图灵奖演讲文章)：

The Emperor’s Old Clothes. Commun. ACM 24(2): 75-83(1981) C. Antony R. Hoare简介:CAR Hoare

CAR Hoare Wiki: http://en.wikipedia.org/wiki/C._A._R._Hoare

CAR Hoare from Answers.com: http://www.answers.com/topic/c-a-r-hoare

Charles Antony Richard Hoare(Tony Hoare和CAR Hoare)出生于1934年1月11日于斯里兰卡。其父母为英国人。Hoare于1956年从牛津大学(http://www.ox.ac.uk/)获得其学士学位。后来Hoare前往原苏联并在莫斯科州立大学学习自然语言的计算机转换。1960年，Hoare回到英国并工作于Elliott Brothers公司。在Elliott Brothers，Hoare实现了ALGOL 60编译器。1968年，Hoare获得了University of

Belfast(http://www.qub.ac.uk/ )的教授职务。1977年，Hoare回到牛津大学担任计算机科学程序语言研究小组的教授。除了其在牛津大学的教职，Hoare也在微软Microsoft Inc.在英国的研究所出任研究员的职位，可参见：http://research.microsoft.com/users/thoare/

在2000年，Hoare由于其在计算机科学和教育方面的杰出贡献被英国皇家授予爵士爵位。

C. Antony R. Hoar 照片:

18. 计算的美丽–1981年图灵奖获得者Edgar Codd

Edgar Frank Codd (08/23/1923—04/18/2003)

图灵奖获得时间：

1981 。第十六位图灵奖(1981年)获得者。

图灵奖引用(Turing Award Citation)：

For his fundamental and continuing contributions to the theory and practice of database management systems. He originated the relational approach to database management in a series of research papers published commencing in 1970. His paper “A Relational Model of Data for Large Shared Data Banks” was a seminal paper, in a continuing and carefully developed series of papers. Dr. Codd built upon this space and in doing so has provided the impetus for widespread research into numerous related areas, including database languages, query subsystems, database semantics, locking and recovery, and inferential subsystems. 【笔者译：】

“(授Edgar F. Codd图灵奖以表彰其) 在数据库管理系统的理论与实践领域的根本性的，持续的贡献。开始于1970年，Edgar发表了一系列的研究文章关于关系数据模型的数据库管理。其中，他的“A Relational Model of Data for Large Shared Data Banks” 一文是数据库系统研究领域的开创性文章。Codd博士在数据库领域的基础性工作为其他相关领域的广泛研究提供了动力，比如数据库语言，查询子系统，数据库语义，锁和恢复，推理系统等等。” 【笔者注：】

Codd提出关系数据库的原文可参见： A Relational Model of Data for Large Shared Data Banks.

关于数据库模型方面，可参见：

http://en.wikipedia.org/wiki/Relational_model http://en.wikipedia.org/wiki/RDBMS 关系数据库列表：

http://en.wikipedia.org/wiki/List_of_relational_database_management_systems Brief History of IT Management and the RDBMS: http://www.mountainman.com.au/software/history/ Turing Award Lecture(图灵奖演讲文章)：

Relational Database: A Practical Foundation for Productivity. Commun. ACM 25(2): 109-117(1982) Edgar F. Codd简介:

Edgar 1923年8月23日出生于Portand, Dorset, England，去世于2003年4月18日。

Edgar早期在牛津大学的Exeter College学习数学和化学。二战后，1948年，Edgar迁到纽约并为IBM工作

1953年，移民加拿大Ottawa。1963年回到美国并在1967年从University of Michigan in Ann Arbor获得其计算机科学的博士学位。然后，Edgar迁到加州的San Jose并为IBM Almaden Research Center工作。并提出了关系数据库模型。 Edgar Wiki: http://en.wikipedia.org/wiki/Edgar_F._Codd

IBM在2003年4月23日发出的关于Edgar Codd去世的消息：

http://www.research.ibm.com/resources/news/20030423_edgarpassaway.shtml http://www-03.ibm.com/ibm/history/exhibits/builders/builders_codd.html Oracle公司关于Edgar的消息：

http://www.oracle.com/technology/oramag/oracle/03-jul/o43edit.html

Edgar F. Codd历史照片:

19. 计算的美丽–1982年图灵奖获得者Stephen Cook

Stephen Arthur Cook(1939–)

图灵奖获得时间：

1982年。第十七位图灵奖(1982年)获得者。图灵奖引用(Turing Award Citation) ：

For his advancement of our understanding of the complexity of computation in a significant and profound way. His seminal paper, “The Complexity of Theorem Proving Procedures,” presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, Laid the foundations for the theory of NP-Completeness. The ensuing exploration of the boundaries and nature of NP-complete class of problems has been one

of the most active and important research activities in computer science for the last decade. 【笔者译：】

( 授予Stephen A. Cook 图灵奖以表彰其) 对我们深刻理解计算复杂性的开创性的贡献。Cook的开创性文章，1971年发表在ACM SIGACT Symposium on the Theory of Computing, “The Complexity of Theorem Proving Procedures”, 揭开了计算复杂性中NP完全性的研究。在此基础上的关于NP完全性问题的本质和边界的研究与探讨成为过去十年来计算机科学最活跃和重要的研究领域之一。笔者注：

Cook著名的的NP完全性文章：The Complexity of Theorem Proving Procedures Cook在其研究论文中，提出并证明了后来以其名字命名的Cook’s

Theorem(Cook定理)。关于Cook定理，可参

见：http://en.wikipedia.org/wiki/Cook%27s_theorem简单而言，Cook证明了SAT(Boolean Satisfiability Problem)问题是一个NP完全性问题。关于NP完全性问题的定义通常是：一个可判定性问题C是NP完全的，如果： 1。这个问题是NP问题。

2。所有其他的NP问题可以归约为C问题。

关于NP， P问题，特别是著名的P=NP？的著名难题，可参见： http://en.wikipedia.org/wiki/Complexity_classes_P_and_NP 关于各种计算复杂性问题的关系图，可参阅：

http://en.wikipedia.org/wiki/Complexity_class

P是否等价与NP的问题已经成为数学界，计算理论界的一个著名的难题。不管是谁能精确的证明P等价与NP，和P不等价与NP，他/她都可以获得百万美金的悬赏。有兴趣的读者可参见： http://www.claymath.org/millennium/ 关于计算复杂性的一些游戏和智力题： http://www.ics.uci.edu/~eppstein/cgt/hard.html NP完全问题的集锦：

http://en.wikipedia.org/wiki/List_of_NP-complete_problems http://www.answers.com/topic/list-of-np-complete-problems http://en.wikipedia.org/wiki/Karp%27s_21_NP-complete_problems Turing Award Lecture(图灵奖演讲文章)：

An Overview of Computational Complexity. Commun. ACM 26(6): 400-408(1983) Stephen A. Cook简介:

Stephen Arthur Cook于1939年出身在纽约水牛城(Beffalo, NY).

Stephen在1961年从University of Michigan (www.umich.edu ) 获得其学士学位，于1962年和1966年从哈佛大学分别获得其硕士与博士学位。1966年到1970年，Stephen在加州Berkeley分校担任助理教授职务。1970年，Stephen加盟多伦多大学(www.utoronto.ca )并工作直到现在。 Stephen在多伦多大学的网页可参见：

http://www.cs.toronto.edu/DCS/People/Faculty/sacook.html Stephen的Wiki可参见： http://en.wikipedia.org/wiki/Stephen_Cook

读者注意，Stephen在哈佛大学的博士导师是一个中国人，名字叫 Hao Wang. 可参见如下：http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=29869

关于Hao Wang(王浩)的更多介绍，可参见：http://en.wikipedia.org/wiki/Hao_Wang

20. 计算的美丽–1983年图灵奖获得者Dennis Ritchie

Dennis MacAlistair Ritchie(09/09/1941–)

图灵奖获得时间：

1983年。第十八位图灵奖(1983年)获得者。图灵奖引用(Turing Award Citation) ：

For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system. 【笔者译：】

( 授予Dennis Ritchie和Ken Thompson 图灵奖以表彰其在)通用操作系统理论领域的贡献，特别是Unix操作系统的开发与实现。

笔者注：

Unix Wiki: http://en.wikipedia.org/wiki/Unix UNIX，自由软件与开源软件编年

Unix History: http://www.levenez.com/unix/history.html#01

The UNIX System, UNIX System: www.unix.org Unix的各种变种和历史渊源：

Turing Award Lecture(图灵奖演讲文章)：

Reflections on Software Research. Commun. ACM 27(8): 758-760(1984) Dennis M. Ritchie简介:

Dennis Wiki: http://en.wikipedia.org/wiki/Dennis_Ritchie Dennis在贝尔实验室的主页：http://cm.bell-labs.com/who/dmr/ Dennis自己写的关于自己的自转：

1941年9月9日出生在Bronxville，纽约。从哈佛大学获得物理学士学位。1968年获得其应用数学博士学位，论文题目是：Subrecursive Hierarchies of Functions。Dennis于1967年加入贝尔实验室。Dennis的父亲Alistair E. Ritchie也曾长期在贝尔实验室工作，并是”The Design of Switching Curcuits”一书的作者之一。加入贝尔实验室不久，Dennis参与了Multics项目。Multics项目为后来UNIX的产生打下了许多技术基础。Dennis除了与Ken Thompson发明与实现了UNIX操作系统之外，还是著名C语言的发明人。C语言来源于Thompson实现的B语言。C语言发明后，UNIX被用C来重写，从而使得UNIX的可移植性极大的提高。另外，Dennis也是UNIX中STREAM机制的作者。90年代，Dennis与其同事提出并实现了Plan 9操作系统和Inferno操作系统。关于Plan 9操作系统，可参见：http://plan9.bell-labs.com/plan9/index.html。关于Interfno操作系统，可参见：http://www.vitanuova.com/inferno/

Dennis M. Ritchie照片:

21. 计算的美丽–1983年图灵奖获得者Ken Thompson

Ken Thompson(02/04/1943–)

图灵奖获得时间：

1983年。第十八位图灵奖(1983年)获得者。图灵奖引用(Turing Award Citation) ：

For their development of generic operating systems theory and specifically for the implementation of the UNIX operating system. 【笔者译：】

( 授予Ken Thompson和Dennis Ritchie图灵奖以表彰其在)通用操作系统理论领域的贡献，特别是Unix操作系统的开发与实现。笔者注：

Unix Wiki: http://en.wikipedia.org/wiki/Unix UNIX，自由软件与开源软件编年

Unix History: http://www.levenez.com/unix/history.html#01 The UNIX System, UNIX System: www.unix.org

Unix的各种变种和历史渊源：

Turing Award Lecture(图灵奖演讲文章)：

Reflections on Trusting Trust. Commun. ACM 27(8): 761-763(1984)

Ken Thompson简介:

Kenneth Thompson于1943年2月4日出生于美国New Orleans, Louisiana。 Ken分别于1965年，1966年在加州大学Berkeley分校获得其EECS的学士和硕士学位。

1969年，Thompson与Dennis Ritchie共同实现了UNIX操作系统。Thompson并且发明了B语言。B语言是后来Dennis Ritchie的C语言的前身。Thompson还写了Bon编程语言。

另外，UNIX下的编辑器ed也是Thompson发明与实现的。

与Rob Pike一起，Thompson也是Plan 9操作系统的主要贡献者。在Plan 9的工作中，Thompson发明了UTF-8(UniCode)字符集。 Thomposon于2000年从贝尔实验室退休。

目前Thompson加入了Entrisphere Inc. ( www.entrisphere.com )并出任其院士一职。可参见：

www.entrisphere.com/about/core#KEN Ken Thompson的照片：

22. 计算的美丽–1984年图灵奖获得者Niklaus Wirth

Niklaus Wirth(02/15/1934–)

图灵奖获得时间：

1984年。第十九位图灵奖(1984年)获得者。图灵奖引用(Turing Award Citation)：

For developing a sequence of innovative computer languages, EULER, ALGOL-W, MODULA and PASCAL. PASCAL has become pedagogically significant and has provided a foundation for future computer language, systems, and architectural research. 【笔者译：】

( 授予Niklaus Wirth 图灵奖以表彰其) 开发了一系列的计算机程序语言，EULER, ALGOL-W, MODULEA和PASCAL。PASCAL语言被用在计算机程序语言教学上具有重要的意义，并为将来的计算机语言，系统和结构设计提供了一个基础。笔者注：程序设计语言:

http://en.wikipedia.org/wiki/Programming_language

http://www.engin.umd.umich.edu/CIS/course.des/cis400/index.html Pascal语言介绍：

http://www.pascal-central.com/ppl/

http://en.wikipedia.org/wiki/Pascal_Programming_Language Algol-W语言介绍：

http://en.wikipedia.org/wiki/Algol-W Modula语言介绍： http://www.modula2.org/

http://en.wikipedia.org/wiki/Modula http://en.wikipedia.org/wiki/Modula-2

Euler语言介绍：

http://en.wikipedia.org/wiki/Euler_programming_language Turing Award Lecture(图灵奖演讲文章)：

Toward a Discipline of Real-Time Programming. Commun. ACM 20(8): 577-583(1977) Niklaus Wirth简介 :

Niklaus Wiki: http://en.wikipedia.org/wiki/Niklaus_Wirth

Niklaus在瑞士(苏黎士)联合理工学院(Swiss Federal Institute of Technology Zurich ) 的主页和介绍：http://www.cs.inf.ethz.ch/~wirth/ Niklaus出生于1934年2月15日于Winterthur,瑞士。

Niklaus于1959年从瑞士联合理工学院获得电子工程学士学位。1960年于Laval 大学(Laval University)获得其硕士学位。1963年，从UC Berkeley获得其博士学位。 1963年到1967年，Niklaus作为助理教授任职于斯坦福大学和瑞士苏黎士大学。 1968年，Niklaus于瑞士联合理工学院出任教授一职，并于1999年退休。 Niklaus也曾在著名的Xerox PARC研究中心(www.parc.xerox.com )工作过两年。 Niklaus Wirth照片:

23. 计算的美丽–1985年图灵奖获得者Richard Karp

Richard Manning Karp(01/03/1935–)

图灵奖获得时间：

1985年。第二十位图灵奖(1985年)获得者。图灵奖引用(Turing Award Citation) ：

For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness. Karp introduced the now standard methodology for proving problems to be NP-complete which has led to the identification of many theoretical and practical problems as being computationally difficult. 【笔者译：】

( 授予Richard M. Karp图灵奖以表彰其在) 算法理论方面的持续性的贡献，其中包括在网络流(network flow) 和其他组合优化问题领域的高效算法的研究，在多项式时间可计算性算法方面，特别是对NP完全理论的贡献。Karp引入了现已经成为标准方法的用来证明一个问题是否是属于NP完全。Karp的方法使得许多理论和实际问题被确认为从可计算性角度而言是复杂的或困难的。【笔者注：】

关于NP完全性问题，可参见： http://en.wikipedia.org/wiki/NP-complete 关于各种计算复杂性问题的关系图，可参阅： http://en.wikipedia.org/wiki/Complexity_class

Richard 1972年发表了其一篇重要的关于NP完全性的文章：

“Reducibility Among Combinatorial Problems”。这篇文章证明了许多当时研究的组合算法问题是NP完全性的问题，包括：CLIQUE, VERTEX COVER,

HAMILTONIAN CYCLE (both directed and undirected versions), 3-DIMENSIONAL MATCHING, KNAPSACK, and PARTITION等等著名的问题。 Richard的论文可参见：

Reducibility Among Combinatorial Problems Turing Award Lecture(图灵奖演讲文章)：

Combinatorics, Complexity, and Randomness. Commun. ACM 29(2): 97-109(1986) Richard Karp简介:

Richard Karp Wiki: http://en.wikipedia.org/wiki/Richard_M._Karp ACM Crossroads magazine interview/bio of Richard Karp Karp’s Home Page at Berkeley

Richard M. Karp生于1935年波士顿，美国。

在哈佛大学，1955年，Richard获得其应用数学学士学位，1956年数学硕士学位，1959年博士学位。

然后，Richard加入IBM Thomas J. Waston研究中心。1968年，Richard加入UC Berkeley出任计算机科学，数学和运筹学的教授。其间，除了在华盛顿大学(University of Washington)担任过4年的教授之外，Richard一直在UC Berkeley工作。关于Richard更为相信的工作背景介绍可参见：http://www.eecs.berkeley.edu/~karp/employment.html

1971年，Richard逾Jack Edmonds合作，提出了Edmonds-Karp算法用来解决网络中的max-flow问题。1987年，逾Michael O. Rabin(1976年图灵奖获得者)合作，提出了Rabin-Karp字符串查找算法。关于Edmonds-Karp算法：

http://en.wikipedia.org/wiki/Edmonds-Karp_algorithm 关于Robin-Karp算法：

http://en.wikipedia.org/wiki/Rabin-Karp_string_search_algorithm

Richard除了在计算机科学方面的卓越贡献之外，在组合算法的运筹学领域也做出了重要的科研贡献。

目前，Richard的主要研究方向是生物信息计算领域。 Richard Karp照片:

因篇幅问题不能全部显示，请点此查看更多更全内容

查看全文