图灵奖结论_图灵奖华人_图灵奖和诺贝尔奖西蒙(9)

在计算机的发展史上，大概没有哪个程序设计语言像C那样得到如此广泛地流行；也没有哪个操作系统像UNⅨ那样获得计算机厂家和用户普遍青睐和厚爱。它们对整个软件技术和软件产业都产生了深远的影响。而C和UNⅨ两者都是美国贝尔实验室的丹尼斯·里奇（DennisMacAlistairRitchie）和肯尼斯·汤普森（KennethLaneThompson）设计、开发的，因此，他们在1983年共同获得图灵奖。

1984年的图灵奖授予了瑞士学者和计算机科学家尼克劳斯·沃思（NiklausWirth），由于他是结构化程序设计语言PASCAL之父及结构话程序设计的首创者，他提出的著名公式“数据结构+算法=程序，广为人知。可以说，现代程序设计语言中常用的数据结构和控制结构绝大多数都是由PASCAL语言奠定基础的。在C语言问世以前，PASCAL是风靡全球、最受欢迎的语言之一。1971年沃斯发表的论文“通过逐步求精方式开发程序”（ProgramDevelopmentbyStepwiseRefinement），首次提出了“结构化程序设计”（structuredprogramming)的概念。这个概念的要点是：不要求1步就编成可执行的程序，而是分若干步进行，逐步求精。第1步编出的程序抽象度最高，第二步编出的程序抽象度有所降低…，最后1步编出的程序即为可执行的程序。结构化程序设计方法又称为“自顶向下”或“逐步求精”法，在程序设计领域引发了一场革命，成为程序开发的1个标准方法，尤其在后来发展起来的软件工程中获得广泛应用。

1991年的图灵奖授予了英国爱丁堡大学计算机科学系教授罗宾·米尔纳(RobinMilner）。他的主要贡献是，首先和其他人一起提出了形式化逻辑系统的数学模型，称之为LCF(LogicforComputableFunctions—“可计算函数的逻辑”）。LCF不仅是1种有效的建模工具，还可方便地验证计算机程序的正确性。米尔纳另一重大贡献是他借鉴了人工智能语言LISP的经验，在LCF的基础上，花了几年的时间，开发成功了1个更加重要的系统，即ML，也就是元语言(metalanguage），1种用来描述、表达、与验证其他语言的语言，它比LCF具有更强推理能力。

2001年的图灵奖授予了挪威计算机科学家奥尔--约翰·戴尔（Ole--JohanDahl)和克利斯登·奈加特（KristenNygaard）。他们是因为在20世纪60年发SimulaI和Simula67中首先引入了类（class）、对象（object）、继承（inheritance）、和动态绑定（dynamicbinding）等重要概念，为面向对象(object--oriented)这一当前最流行、最重要的程序设计技术奠定了基础。当时推出的Simula67，虽由于本身比较难学、难用而未能广泛流行，但它的影响却是巨大和深远的，20世纪70年代Xerox公司推出了Smalltalk，80年代Bell实验室推出了C++等，在全世界掀起了一股面向对象技术的热潮，至今盛行不衰，成为程序设计的主流

每年度的图灵奖都授予了那些在计算机科学理论和技术或计算机产业方面作出突出贡献的人。

1968年的图灵奖获得者是发明纠错码的美国大数学家和信息专家理查德·哈明；

1973年的图灵奖获得者是美国“网状之父”查尔斯·曼；

1981年的图灵奖授予了英国人，后到美国发展的有“关系之父”之称的埃德加·科德。

1997年图灵奖的得主是美国人道格拉斯·恩格尔巴特，他是鼠标器的发明人和超文本研究的先驱。

值得一提的是2000年的图灵奖授予了一位美国普林斯顿大学计算机科学系教授、华裔学者姚期智，他因是计算理论领域的卓越开拓者而荣获此殊荣。姚期智的英文名字是安德鲁·姚(AndrewC.Yao）。他祖籍湖北孝感，1946年12月24日出生于上海，幼年随父母去。1967年在大学毕业后去美国深造。他1972年在哈佛大学取得物理学博，并做了一年博士后研究工作之后，选择到伊利诺依大学院继续攻读计算机科学博，并于1975年获得该学位。他曾先后在麻省理工学院、斯坦福大学、加州大学伯克利分校从事教学与研究，1986年加盟普林斯顿大学至今。姚期智的主要贡献在计算机理论方面。ACM的授奖决定指出，姚期智对计算理论的贡献是根本性的，意义重大的，其中包括基于复杂性的伪随机数生成理论、密码学、通信复杂性等。姚期智是图灵奖近40年来首次授予一位华裔学者。

其他的图灵奖授予了包括计算机体系结构、计算复杂性理论、算法设计与分析、图形学、操作系统和编译程序、软件工程等方面的专家学者。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-41251-9.html