第1讲_1信息信息科学与信息技术幻灯片.pptVIP

姚期智 ? （Andrew Chi-Chih Yao，1946年12月24日-），美籍华人，世界著名计算机科学家，2000年图灵奖得主，目前是清华大学教授。??????姚期智祖籍湖北孝感，1946年平安夜出生于上海，幼年随父母移居台湾。1967年，姚期智毕业于台湾大学，之后赴美国深造。1972年获哈佛大学物理学博士学位，1975年获伊利诺大学香槟分校(UIUC)计算机科学博士学位。 之后，他曾先后在麻省理工学院(1975—1976)、斯坦福大学(1976—1981，1983—1986)、加州大学伯克利分校(1981—1983)等美国高等学府从事教学和研究，1986年至2004年任普林斯顿大学计算机科学系教授，从2004年9月至今任清华大学高等研究中心教授。此外，姚期智还是美国国家科学院院士、美国人文及科学院院士、中国科学院外籍院士及台湾中央研究院院士。??????姚期智获得过美国工业与应用数学学会George Polya奖，美国计算机协会算法与计算理论分会（ACM SIGACT）Donald E.Knuth奖等荣誉。2000年，因为姚期智对计算理论，包括伪随机数生成，密码学与通信复杂度的诸多贡献，美国计算机协会(ACM)决定把该年度的图灵奖授予他。姚期智成为图灵奖创立以来首位获奖的亚裔学者。 1999 Frederick P. Brooks, Jr. 获奖原因：由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。人月神话的作者。 1998 James Gray 获奖原因：由于在数据库、事务处理研究和相关系统实现的技术领导工作。 1997 Douglas Engelbart 获奖原因：由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。鼠标器的发明人和超文本研究的先驱. 1996 Amir Pnueli 获奖原因：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。 1995 Manuel Blum 获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。 1994 Edward Feigenbaum、Raj Reddy 获奖原因：由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。 1993 Juris Hartmanis、Richard E. Stearns 获奖原因：由于他们的论文奠定了计算复杂性理论的基础。 1992 Butler W. Lampson 获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。 1991 Robin Milner 获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。 1990 Fernando J. Corbato 获奖原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。 1989 William (Velvel) Kahan 获奖原因：由于在数值分析方面的基础性贡献。 1988 Ivan Sutherland 获奖原因：由于在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。 1987 John Cocke 获奖原因：由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。 1986 John Hopcroft、Robert Tarjan 获奖原因：由于在算法及数据结构设计和分析方面的基础性成就。 1985 Richard M. Karp 获奖原因：由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。 1984 Niklaus Wirth 获奖原因：由于开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。 1983 Ken Thompson、Dennis M. Ritchie 获奖原因：由于在通用操作系统理论研究，特别是UNIX操作系统的实现上的贡献。 1982 Stephen A. Cook 获奖原因：由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。 1981 Edgar F. Codd 获奖原因：由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。 1980 C. Antony R. Hoare 获奖原因：由于在编程语言的定义和设计方面的基础性贡献。 1979 Kenneth E. Iverson 获奖原因：由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。 1978 Robert W. Floyd 获奖原因：由于在如何开发高效、可靠的软件方法论方面