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

雷迪本是印度人，1937年6月13出生于新德里附近的1个小城。雷迪1958年在印度大学毕业，取得学后，去澳大利亚留学，在新南威尔士大学获硕，之后再到美国深造，于1966年在斯坦福大学获得了博并加入美国国籍。雷迪自称是“第二代的人工智能研究者”，因为他在斯坦福大学的博士导师就是有“人工智能之父”之称的麦卡锡，而另一位人工智能大师明斯基当时也在斯坦福大学。学成以后，雷迪来到卡内基—梅隆大学工作。雷迪主持过许多大型人工智能系统的开发，取得了一系列引人注目的成就，例如他们开发成功的能在道路上行驶并可跨越原野的自动驾驶车辆，在计算机视觉、机器人路径规划、自动控制、障碍识别等方面都有重大技术突破；LISTEN语音识别系统，类似1个文化教员，可以“听”孩子念课文，念错了或不会念时提供帮助；以意大利诗人但丁命名的火山探测机器人项目等。雷迪还开创了1个他称之为“白领机器人学”（White-collarRobotics）的新学科领域，就是由机器人去完成白领职工的工作，诸如生产调度等功能。雷迪现任卡内基—梅隆大学计算机学院院长。

2011年，图灵奖的桂冠再次折落在人工智能领域，获得者是UCLA的JudeaPearl教授（75岁）。他提出概率和因果性推理演算法，彻底改变了人工智能最初基于规则和逻辑的方向。

图灵奖_图灵奖 -其他方面

人们称巴克斯为“不知疲倦的发明家”。事实确实如此，进入IBM后，他就全身心地投入工作，从而奠定了他作为出色的程序员在公司的地位。当时的计算机还是用机器语言也就是二进制代码进行编程，存在工作效率低、难于检查和发现问题、不便于交流、软件开发费用高昂等问题。经过深思熟虑，巴克斯于1953年向IBM老板卡斯伯特·赫德提交了一分备忘录，建议设计1种接近人类语言的编程语言代替机器语言，赫德批准了巴克斯的计划。1957年4月，经过巴克斯和他的同事们的艰苦努力，FORTRAN的编译器第一次在西屋电气公司订购的704计算机上成功运行，标志着1个时代（机器语言编程时代）的结束，另1个时代（高级语言编程时代）的开始。作为世界上第1个高级程序设计语言，它对其后出现的上千种高级程序设计语言都有或大或小的影响。FORTRAN的工作成果融入了ALGOL58及随后的ALGOL60等一系列版本。基于开发FORTRAN的经验，巴克斯关注的重点由定义语言本身转向如何清晰地描述和表达语言这个问题上，也就是要创建1个“元语言”（meta-language）。经过不懈探索，巴克斯又提出了如今众所周知的“巴克斯范式”BNF(BackusNormalForm）。BNF由于其简洁、明了、科学而被广泛接受，成为描述各种程序设计语言的最常用的工具。

程序设计语言的发展过程，实际上是由一批大师驱动的。图灵奖结论1978的图灵奖授予了美国科学家罗伯特·弗洛伊德，他是在程序正确性证明方面，提出前后断言法（pre-andpost-assertionmethod）的创始人，并在算法、程序设计语言的逻辑定义、自动程序综合、自动程序验证、编译理论和实现等方面都作出了创造性的贡献。

1979年的图灵奖授予了一位加拿大学者、时在IBM公司沃森研究中心工作的肯尼思·艾弗森。他是因为在开发交互式程序设计语言APL中作出开创性工作，从而为程序设计语言的理论和实践作出规定卓越贡献而获此殊荣的。

1980年的图灵奖授予了英国牛津大学计算机科学家查尔斯·霍尔。他不仅提出了QUICKSORT、CASE，而且在程序设计语言的定义和设计、数据结构和算法、操作系统-----许多方面都起了重要作用。由霍尔和他的同事们设计与实现的ALGOL601个子集的版本ElliottALGOL60，在效率、可靠性和方便性等方面都是首屈一指的。

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