分享

谁能数据挖掘出2009年10月在清华大学的中国计算机科学2020研讨会中，姚期智邀请来的14位科学家名单和其详细背景？天下除了《弯曲评论》，存在第二家的可能性就像下面理论计算科学家研究的不确定问题一样，基本上是不可在多项式时间算法下求证。除非拿出反例（certificate），断言可以但很难证伪：-）。

1. 哈佛大学教授、1976年图灵奖获得者、美国国家科学院院士Michael O. Rabin。演讲题目：Privacy and Secrecy in the Age of the Internet and Search Engines

2. 伯克利加州大学教授、1985年图灵奖获得者，美国国家科学院院士，美国国家工程院院士Richard M. Karp。演讲题目：What Makes an Algorithm Great?

3. 康奈尔大学教授、1986年图灵奖获得者，美国艺术与科学院院士，美国国家科学院院士John E. Hopcroft。演讲题目： Future Research Directions in Computer Science

4. 卡内基梅隆大学教授，1994年图灵奖获得者Raj Reddy。创新工场老总李开复在CMU时候的博士导师。 演讲题目：Technology in Service of Society

5. 卡内基梅隆大学教授，2007年图灵奖获得者Edmund Clarke。 演讲题目：Model Checking: My 28-year Quest to Overcome the State Explosion Problem

6. 伯克利加州大学教授、美国艺术与科学院院士、美国国家工程院院士、美国国家科学院院士Christos Papadimitriou。 演讲题目： The Algorithmic Lens: How the Computational Perspective is Changing the Sciences。

7. 卡内基梅隆大学教授、美国艺术与科学院院士Jeannette Wing。 演讲题目：Computational Thinking and Thinking About Computing

8. 伯克利加州大学教授、美国工程院院士，美国科学院院士David Patterson。 演讲题目：Your Students Are Your Legacy

9. 麻省理工学院教授、美国艺术与科学院院士、美国国家工程院院士、美国国家科学院院士Silvio Micali。 演讲题目： New Mechanisms for A New World

10. 斯坦福大学教授，麦克阿瑟奖获得者Daphne Koller。 演讲题目：Probabilistic Models for Holistic Scene Understanding

11. 普林斯顿大学教授Sanjeev Arora。 演讲题目：Computer Science: A New Way to Think

12. 普林斯顿高等研究院Avi Wigderson。 演讲题目：Randomness – A Computational Perspective

13. 美国能源部Argonne国家实验室高级院士Charlie Catlett。 演讲题目：The Personal Digital Augmenter and Buffer Overflow in Humans

14. 匈牙利罗兰大学教授Laszlo Lovasz。 演讲题目：Large Networks: A New Language for Science

【附录：对计算机界图灵奖获得者有兴趣的读者，可以参阅】

《计算的美丽–图灵奖的第一个四十年》（上）

《计算的美丽–图灵奖的第一个四十年》（下）

分享

分享

2009年3月10日，美国ACM协会公布了2008年的图灵奖获得者。获奖人为MIT电子工程与计算机系的 Barbara Liskov教授。

ACM的官方新闻发布稿可参阅于此：ACM2008图灵奖新闻。

ACM对Barbara的学术研究评价为：“For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.”。

【笔者注：】 授予Barbara Liskov教授2008年图灵奖，以表彰其在计算机程序语言，系统设计，特别是在数据抽象，容错系统设计和分布式计算方面的理论和工程设计方面的杰出贡献。

另外，Barbara Liskov是历史上第一个女性计算机博士学位获得者。Barbara于1961年从加州大学伯克利分校数学系获得其学士学位；1968年从斯坦福大学获得其计算机博士学位 。其博士论文为“A Program to play chess Endgames”。

【相关文章：】

×图灵奖获得者国籍，院校，学术专业分类，陈怀临，2006

×《计算的美丽–图灵奖的第一个40年》（上），陈怀临，2006

×《计算的美丽–图灵奖的第一个40年》（下），陈怀临，2006

分享

分享

在线下载《计算的美丽–图灵奖的第一个四十年》（下）

分享

分享

在线下载：《计算的美丽–图灵奖的第一个四十年》（上）

分享

分享

Joseph Sifakis(1946–)

图灵奖获得时间：

2007年。 第42位图灵奖(2007年)获得者。

图灵奖引用(Turing Award Citation) ：

For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

【笔者译：】

(授予Joseph Sifakis图灵奖以表彰其)对目前在硬件和软件领域被广泛使用的模型检查发展成为一个重要的，高效的验证技术所做出的杰出贡献。

阅读全文»

分享

分享

E Allen Emerson

图灵奖获得时间：

2007年。 第42位图灵奖(2007年)获得者。

图灵奖引用(Turing Award Citation) ：

For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

【笔者译：】

(授予Allen Emerson图灵奖以表彰其)对目前在硬件和软件领域被广泛使用的模型检查发展成为一个重要的，高效的验证技术所做出的杰出贡献。

阅读全文»

分享

分享

Edmund Clarke（07/27/1945–）

图灵奖获得时间：

2007年。 第42位图灵奖(2007年)获得者。

图灵奖引用(Turing Award Citation) ：

For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries.

【笔者译：】

(授予Edmund Clarke图灵奖以表彰其)对目前在硬件和软件领域被广泛使用的模型检查发展成为一个重要的，高效的验证技术所做出的杰出贡献。

阅读全文»

分享

分享

Frances Allen(1932–)

图灵奖获得时间：

2006年。 第41位图灵奖(2006年)获得者。

图灵奖引用(Turing Award Citation) ：

For pioneering contributions to the theory and practice of optimizing compiler techniques that laid the foundation for modern optimizing compilers and automatic parallel execution.

【笔者译：】

(授予Frances Allen图灵奖以表彰其)对编译优化理论和技术的前沿性贡献，为现代编译优化技术和并行计算打下了坚实的基础。 阅读全文»

分享

分享

Peter Naur(10/25/1928–)

图灵奖获得时间：

2005年。 第40位图灵奖(2005年)获得者。

图灵奖引用(Turing Award Citation) ：

For fundamental contributions to programming language design and the definition of Algol 60, to compiler design, and to the art and practice of computer programming.

【笔者译：】

(授予Peter Naur图灵奖以表彰其)对Algol 60编程语言的设计与定义，对编译器设计和计算机编程领域的理论与实践的基础性贡献。

阅读全文»

分享

分享

Robert E. Kahn(12/23/1938–)

图灵奖获得时间：

2004年。 第39位图灵奖(2004年)获得者。

图灵奖引用(Turing Award Citation) ：

For pioneering work on internetworking, including the design and implementation of the Internet’s basic communications protocols, TCP/IP, and for inspired leadership in networking.

【笔者译：】 

( 授予Robert Kahn 图灵奖以表彰其在)互联网领域先驱性的贡献 ，其中包括Internet基础通讯协议的设计与实现，TCP/IP协议，和其在网络领域的权威性的领导地位。

阅读全文»

分享