计算的美丽–1997年图灵奖获得者Douglas Engelbart
作者 陈怀临 | 2008-04-05 20:42 | 类型 人物评述, 计算的美丽 | Comments Off
Douglas Engelbart(01/30/1925–) 图灵奖获得时间: 1997年。第三十二位图灵奖(1997年)获得者。 图灵奖引用(Turing Award Citation) : For an inspiring vision of the future of interactive computing and the invention of key technologies to help realize this vision. 【 笔者译】 ( 授予Douglas Engelbart图灵奖以表彰其在)未来交互式计算领域的鼓舞人心的远见和对实现其相应关键技术的发明。 | |
计算的美丽–1996年图灵奖获得者Amir Pnueli
作者 陈怀临 | 2008-04-05 20:28 | 类型 人物评述, 计算的美丽 | Comments Off
Amir Pnueli (04/22/1941–) 图灵奖获得时间: 1996年。 第三十一位图灵奖(1996年)获得者。 图灵奖引用(Turing Award Citation) : For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification. 【笔者译:】 (授予Amir Pnueli图灵奖以表彰其在)计算机科学中引入时序逻辑的开创性的研究工作,和其编程语言和系统验证方面的突出贡献。 | |
计算的美丽–1995年图灵奖获得者Manuel Blum
作者 陈怀临 | 2008-04-05 19:02 | 类型 人物评述, 计算的美丽 | Comments Off
Manuel Blum(04/26/1938–) 图灵奖获得时间: 1995年。 第三十位图灵奖(1995年)获得者。 图灵奖引用(Turing Award Citation) : In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking. 【笔者译:】 ( 授予Manuel Blum图灵奖以表彰其在)计算复杂性理论的基础性研究以及在密码系统和程序检查验证方面的应用的卓越贡献。 | |
计算的美丽–1994年图灵奖获得者Edward Feigenbaum
作者 陈怀临 | 2008-04-05 18:39 | 类型 人物评述, 计算的美丽 | Comments Off
Edward Feigenbaum(01/20/1936–) 图灵奖获得时间: 1994年。 第二十九位图灵奖(1994年)获得者。 图灵奖引用(Turing Award Citation) : For pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology. 【笔者译:】 (授予Edward Feigenbaum 图灵奖以表彰其在) 设计与构建大规模人工智能系统的先驱性的贡献,和展现了人工智能技术在实际应用中的重要性和潜在的商业影响。 | |
计算的美丽–1994年图灵奖获得者Raj Reddy
作者 陈怀临 | 2008-04-05 16:52 | 类型 人物评述, 计算的美丽 | Comments Off
Raj Reddy(06/13/1937–) 图灵奖获得时间: 1994年。 第二十九位图灵奖(1994年)获得者。 图灵奖引用(Turing Award Citation) : For pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology. 【笔者译:】 ( 授予Raj Reddy图灵奖以表彰其在) 设计与构建大规模人工智能系统的先驱性的贡献,和展现了人工智能技术在实际应用中的重要性和潜在的商业影响。 笔者注: ×谷歌公司中国区总裁李开复的博士生导师 。 ×Reddy与Feigenbaum是大规模人工智能系统的设计和实现的先驱。他们合力开发了第一个专家系统DENDRAL。 | |
计算的美丽–1993年图灵奖获得者Juris Hartmanis
作者 陈怀临 | 2008-03-29 22:01 | 类型 人物评述, 计算的美丽 | Comments Off
Juris Hartmanis(07/07/1928–) 图灵奖获得时间: 图灵奖引用(Turing Award Citation): 【笔者译:】 ( 授予Juris Hartmanis图灵奖以表彰其)在计算复杂性理论领域发表的具有开创意义的研究文章。 | |
计算的美丽–1993年图灵奖获得者Richard Stearns
作者 陈怀临 | 2008-03-29 20:52 | 类型 人物评述, 计算的美丽 | Comments Off
Richard Edwin Stearns(07/05/1936–) 图灵奖获得时间: 1993年 。 第二十八位图灵奖(1993年)获得者。 图灵奖引用(Turing Award Citation): In recognition of their seminal paper which established the foundations for the field of computational complexity theory. 【笔者译:】 ( 授予Richard Stearns图灵奖以表彰其)在计算复杂性理论领域发表的具有开创意义的研究文章。 | |
计算的美丽–1992年图灵奖获得者Butler Lampson
作者 陈怀临 | 2008-03-29 18:38 | 类型 人物评述, 计算的美丽 | Comments Off
Butler W. Lampson(1943–) 图灵奖获得时间: 1992年。 第二十七位图灵奖(1991年)获得者。 图灵奖引用(Turing Award Citation) : For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing. 【笔者译:】 ( 授予Butler W. Lampson图灵奖以表彰其在)分布式计算环境,个人计算环境的研发和实现技术,其中包括:工作站,网络,操作系统,程序语言,(计算机)显示,(计算机)安全和(计算机)文档排版处理等。 | |
计算的美丽–1991年图灵奖获得者Robin Milner
作者 陈怀临 | 2008-03-29 17:26 | 类型 人物评述, 计算的美丽 | 1条用户评论 »
Robin Milner( 1934–) 图灵奖获得时间: 1991年。 第二十六位图灵奖(1991年)获得者。 图灵奖引用(Turing Award Citation) : For three distinct and complete achievements: 1) LCF, the mechanization of Scott’s Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics. 【笔者译:】 ( 授予Robin Milner图灵奖以表彰其在) 三个研究领域的杰出的和完整性的成就: 1. LCF, 一个(Dana Scott)的可计算函数逻辑(Logic of Computable Functions)的实现机制,(可能)是第一个理论上和实践上都具备的计算机证明(数学)定理的工具。 2. ML, 第一个具有多态的类型推理和具有安全类型的异常处理机制的(编程)语言。 3. CCS, 一个并发系统的综合理论。 另外,Robin Milner在operational 和denotational的语义关系方面进行了形式化的描述和深入的研究。 | |
计算的美丽–1990年图灵奖获得者Fernando Corbato
作者 陈怀临 | 2008-03-29 14:36 | 类型 人物评述, 计算的美丽 | Comments Off
Fernando Jose Corbato(07/01/1926–) 图灵奖获得时间: 1990年 。 第二十五位图灵奖(1990年)获得者。 图灵奖引用(Turing Award Citation) : For his pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, time-sharing and resource-sharing computer systems, CTSS and Multics. 【笔者译:】 ( 授予Fernando Jose Corbato图灵奖以表彰其)先驱性的在组织和综合概念和领导开发通用大规模,分时系统,资源共享计算机系统,如CTSS和Multics。 | |