分享

William (Velvel) Morton Kahan(06/05/1933–)

图灵奖获得时间：

1989年。 第二十四位图灵奖(1989年)获得者。

图灵奖引用(Turing Award Citation) ：

For his fundamental contributions to numerical analysis. One of the foremost experts on floating-point computations. Kahan has dedicated himself to “making the world safe for numerical computations.

【笔者译：】

( 授予William (Velvel)  Kahan图灵奖以表彰其)在数值分析领域基础性的贡献。William Kahan是关于浮点运算方面最重要的科学家之一。Kahan一直致力于“使得这个世界在数值计算方面更加安全。

阅读全文»

分享

分享

Ivan Edward Sutherland(1938–)

图灵奖获得时间：

1988年。 第二十三位图灵奖(1988年)获得者。

图灵奖引用(Turing Award Citation)：

For his pioneering and visionary contributions to computer graphics, starting with Sketchpad, and continuing after. Sketchpad, though written twenty-five years ago, introduced many techniques still important today. These include a display file for screen refresh, a recursively traversed hierarchical structure for modeling graphical objects, recursive methods for geometric transformations, and an object oriented programming style. Later innovations include a “Lorgnette” for viewing stereo or colored images, and elegant algorithms for registering digitized views, clipping polygons, and representing surfaces with hidden lines.

【笔者译：】

( 授予Ivan Sutherland图灵奖以表彰其在) 从Sketchpad开始在计算机图形学领域先驱性的和远见性的贡献。虽然Sketchpad是Ivan Sutherland二十五年前的工作，但Sketchpad中的许多技术对目前仍然是非常重要的。这其中包括屏幕刷新的文件显示，对图形对象(Object)的递归扫描的层次结构，对几何转换的递归方法和面向对象(Object Oriented)的编程模式。Ivan Sutherland在Sketchpad之后的发明还包括用来显示立体和彩色图像的”Lorgnette”技术，和一系列(图形图像)算法：registering digitized views, clipping polygons,和representing surfaces with hidden lines(用隐含的线来表达一个图形的表面)。

阅读全文»

分享

分享

John Cocke(05/30/1925—07/16/2002)

图灵奖获得时间：

1987年。 第二十二位图灵奖(1987年)获得者。

图灵奖引用(Turing Award Citation) ：

For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC); for discovering and systematizing many fundamental transformations now used in optimizing compilers including reduction of operator strength, elimination of common subexpressions, register allocation, constant propagation, and dead code elimination.

【笔者译：】

 (授予John Cocke图灵奖以表彰其在)编译理论与实践领域的重要贡献，大型系统的体系结构，精简指令集(RISC)的开发，和发现与系统化被用在优化编译领域的许多基本的变换理论，例如：reduction of operator strength, elimination of common subexpressons, register allocation, constant propagation, and dead code elimination。

阅读全文»

分享

分享

Robert Endre. Tarjan(04/30/1948–)

图灵奖获得时间：

1986年。第二十一位图灵奖 (1986年)获得者。

图灵奖引用(Turing Award Citation) ：

For fundamental achievements in the design and analysis of algorithms and data structures.

【笔者译：】

( 授予Robert E. Tarjan图灵奖以表彰其在) 数据结构和算法设计与分析领域的重要的基础性的贡献。

阅读全文»

分享

分享

John E. Hopcroft(10/07/1939–)

图灵奖获得时间：

1986年。 第二十一位图灵奖(1986年)获得者。

图灵奖引用(Turing Award Citation) ：

For fundamental achievements in the design and analysis of algorithms and data structures.

 【笔者译：】

(授予John E. Hopcroft图灵奖以表彰其在)数据结构和算法设计与分析领域的重要的基础性的贡献。

阅读全文»

分享

分享

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的方法使得许多理论和实际问题被确认为从可计算性角度而言是复杂的或困难的。

阅读全文»

分享

分享

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语言被用在计算机程序语言教学上具有重要的意义，并为将来的计算机语言，系统和结构设计提供了一个基础。

阅读全文»

分享

分享

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操作系统的开发与实现。

阅读全文»

分享

分享

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操作系统的开发与实现。

阅读全文»

分享

分享

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完全性问题的本质和边界的研究与探讨 成为过去十年来计算机科学最活跃和重要的研究领域之一。

阅读全文»

分享