图灵奖获得者2000-2011.docVIP

历届图灵奖获得者 年度 姓名 获奖原因 所在机构 2000 Andrew Chi-Chih Yao 姚期智 因在计算理论领域的卓越贡献而获奖。 Princeton University 普林斯顿大学 本科硕士博士 2001 Ole-Johan Dahl 奥尔-约翰·戴尔 面向对象技术的奠基人。 University of Oslo 挪威奥斯陆大学 本科硕士 Kristen Nygaard 克利斯登·奈加特 本科硕士 2002 Leonard M. Adleman 伦纳德·阿德勒曼 因他们在公钥密码技术方面的杰出贡献而获奖。公钥密码算法RSA的发明人。 University of Southern California 南加州大学 本科硕士博士 Ronald Linn Rivest 罗纳德·里韦斯特 Massachusetts Institute of Technology 麻省理工学院 本科硕士博士 Adi Shamir 阿迪·沙米尔 Weizmann Institute of Science 以色列魏茨曼科学研究所 本科硕士博士 2003 Alan Kay 阿伦·凯 面向对象语言SmallTalk的发明者、第一个具有图形用户界面的个人计算机Alto的开发者。 HP 本科硕士博士 2004 Vinton Gray Cerf 温顿·瑟夫 因在互联网领域的先驱性贡献而获奖，TCP/IP协议的发明者。 MCI Inc. 本科硕士博士 Robert E. Kahn 罗伯特·卡恩 Corporation for National Research Initiatives CNRI公司 本科硕士博士 2005 Peter Naur 彼得·诺尔 因在定义Algol 60程序设计语言方面的先驱性工作，对编译器设计的贡献、以及在计算机程序设计方面的贡献而获奖。 K??benhavns Universitet 丹麦哥本哈根大学 本科 硕士博士 2006 Frances E Allen 弗朗西斯·阿伦 因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。 IBM 本科硕士 2007 Edmund M. Clarke 表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。 Carnegie Mellon University 卡内基梅隆大学 本科硕士博士 E Allen Emerson The University of Texas at Austin 德克萨斯大学奥斯汀分校 本科硕士博士Edmund M. Clarke Joseph Sifakis Centre National de la Recherche Scientifique at the VERIMAG laboratory 法国国家科学研究中心 本科硕士博士 2008 Barbara H Liskov 芭芭拉·利斯科夫 表彰她在提高计算机软件的可靠性、安全性和易用性方面的杰出贡献。 Massachusetts Institute of Technology 麻省理工学院 本科硕士博士John McCarthy 2009 Charles P. Thacker （昵称Chuck） 表彰他对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献微软研究院 2011年3月7日，2010年的图灵奖获得者揭晓【ACM新闻稿】。哈佛大学计算机系的Les Valiant荣获此计算科学界的最高殊荣。Les在计算理论方面最大的贡献是Probably approximately correct learning?美国计算机协会宣布2011年度图灵奖得主为加州洛杉矶分校（UCLA）的计算机科学家Judea Pearl教授。 Judea Pearl降生于以色列，本科结业于以色列理工学院，1965年在美国罗格斯大学获物理学硕士学位，同年在布鲁克林理工学院获得机电工程博士学位。Pearl教授的研究领域是人工智能，他是最早将贝叶斯网络和概率体例引入人工智能的先锋之一，也是在经验科学中数学化因果模型的先锋。他的研究为iPhone的Siri语音识别和Google的无人驾驶汽车奠基了基础。