ETH计算机PhD面试

『壹』 ETH生物博士怎么样

ETH生物博士由苏黎世生命科学研究生院（Life Science Zurich Graate School）开设，是ETH和University of Zurich合开的研究生院，包含16个细分方向的博士项目和一个MD/PhD项目，ETH Zurich和University of Zurich生命科学世界排名均为世界前50.

『贰』 计算机界的诺贝尔奖颁给谁了

计算机科学界的诺贝尔奖是图灵奖，就是说诺贝尔奖没有设立“计算机”方面的奖项。
1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)
因在新一代编程技术和编译架构方面的贡献而获奖.

1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge
因设计出第一台程序实现完全内存的计算机而获奖.

1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraate School
(was at Bell) (deceased)
因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.

1969 Marvin Minsky --- PhD, Princeton, Prof, MIT
因对人工智能的贡献被授予图灵奖.

1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical
Laboratory, London
因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.

1971 John McCarthy --- PhD, Princeton; Prof, Stanford
因对人工智能的贡献被授予图灵奖.

1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin
因在编程语言方面的出众表现而获奖.

1973 Charles W. Bachman --- staff, Honeywell
因在数据库方面的杰出贡献而获奖.

1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.

1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
and Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
and Dana S. Scott --- PhD, Princeton; Prof, CMU
因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价
值的概念而获奖.

1977 John Backus --- BS, Columbia; staff, IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖.

1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自
动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.

1979 Kenneth E. Iverson
因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.

1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)
因对程序设计语言的定义和设计所做的贡献而获奖.

1981 Edgar F. Codd --- PhD, Michigan; staff, IBM
因在数椐库管理系统的理论和实践方面的贡献而获奖.

1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto
因奠定了NP-Completeness理论的基础而获奖.

1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs
and Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
因在类属操作系统理论，特别是UNIX操作系统的推广而获奖.

1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich
因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖.

1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley
因对算法理论的贡献而获奖.

1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell
and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.

1987 John Cocke --- staff, IBM
因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.

1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun
因在计算机图形学方面的贡献而获奖.

1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley
因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.

1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT
因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面
的贡献而获奖.

1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)
因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖.

1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft
因在个人分布式计算机系统（包括操作系统）方面的贡献而获奖.

1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell
and Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
因奠定了计算复杂性理论的基础而获奖.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU
and Edward Feigenbaum (PhD, CMU; Prof, Stanford)
因对大型人工智能系统的开拓性研究而获奖.

1995 Manuel Blum --- PhD, MIT; Prof, Berkeley
因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.

1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU
因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.

1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI
因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.

1998 James Gray --- PhD, Berkeley; staff, Microsoft
因在数据库和事务处理方面的突出贡献而获奖.

1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC
因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.

2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (姚期智，首位华
人获奖者)
因对计算理论做出了诸多根本性的重大贡献.

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo
因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面
向对象技术的肇始.

2002 Ronald L. Rivest --- PhD, Stanford; MIT;
and Adi Shamir --- PhD, Weizmann;
and Leonard M. Adelman --- PhD, Berkeley; USC
因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及
信用卡产业中被广泛使用的安全基本机制).

2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)
因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.

2004 Vinton G. Cerf、Robert E. Kahn
因在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，
TCP/IP，以及在网络方面卓越的领导。
2005 Peter Naur
因在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代
程序设计语言的原型。

2006 Frances Allen(首位女性获奖者)
因对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译
器和自动并行执行打下了基础。

2007 Edmund M. Clarke、 E Allen Emerson和Joseph Sifaki
表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业
中非常有效的算法验证技术所做的奠基性贡献。
1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis分别提
出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件
和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用
它确定代码中问题存在的位置。

『叁』 海外留学硕士会不会得到瑞士著名理工院校PhD更高的

可以的。
申请人应符合以下条件之一：
（一）国内高校优秀在读硕士生（包括应届硕士毕业生）、在读博士一年级学生、应届本科毕业生。在读硕士生、博士生应具备一定的科研能力和科研成果，应届本科毕业生应达到校内免试直升研究生水平。申请时应已获拟留学单位出具的攻读博士学位或硕博连读入学通知书（邀请信）、免学费或获得学费资助证明。
（二）国内企业、事业单位、行政机关、科研机构的正式工作人员。应具有硕士学位，在相应工作岗位取得较突出成绩、具有较强的科研能力。申请时应已获拟留学单位出具的攻读博士学位入学通知书（邀请信）、免学费或获得学费资助证明。
（三）国外高校或科研机构正式注册的自费留学应届硕士毕业生、攻读博士学位第一年的学生。申请时，应届硕士毕业生已获得攻读博士学位入学通知书（邀请信）、免学费或获得学费资助证明；攻读博士学位第一年的学生须出具就读院校注册证明、免学费或获得学费资助证明。

『肆』 我们加州理工学院世界排名第几名

加州理工学院］
California Institute of Technology
学校地址:1200 E California Blvd Pasadena, CA 91125
所在州: 加利福尼亚州
在校学生:1968人
建校时间:1891年
学校网址: http://www.caltech.e/
USNews2008年美国大学综合排名(本科) 第5
2009年美国大学化学专业研究生排名 第1
2009年美国大学地球科学专业研究生排名 第1
2009年美国大学地球化学专业研究生排名 第1

加州理工学院California Institute of Technology学校概况
加州理工学院California Institute of Technology创建于1891年，这所私立大学的宗旨是“为教育事业、政府及工业发展需要培养富有创造力的科学家和工程师”。
迄今为止，加州理工学院California Institute of Technology 已培养了1万7千名学生，其中有22名获得诺贝尔奖，还有大批获得美国政府颁发的各种科学学术奖项。加州理工学院California Institute of Technology1997年全美私立大学排名第 9。它被誉为美国一流的科技理工类学院当之无愧。学校治学严谨，提倡学生一进校就参加各项科研活动。学生多力立志献身科技事业的青年，他（她）们发奋读书、刻苦钻研。学校聘用的教授和讲师都是一流的科学家，很多是诺贝尔奖得主及其他科技奖得主。
基础设施：
学校有无数条件优越的实验室和校外研究设备。圣地亚哥北部的巴勒摩观察站，与加州大学合作设在夏威夷的凯克观测站的巨型双子望远镜，以及美国太空署的喷射推进实验室，都是加州理工学院California Institute of Technology的研究设施。因此，这里是潜心埋首科学的科学家的最佳工作地点。

学校设有生物学、化学及化学工程、工程与应用科学、地质学及行星学、人类学及社会科学、物理数学和天文学等六大学系。有布斯计算中心、HALE天文台、地震实验室、太阳系观测站、射电天文台、喷气推进实验室、环境质量实验室、夏威夷亚毫米观测站、斯坦福线性加速器中心等设施先进的科研机构。
主要学科有：天文学、天文物理、地质学、地质物理、原子物理、物理、生物化学、生物科学、大气工程、应用数学、土木工程、电脑工程、电脑 科学、经济、电机工程、工程及应用科学、工程物理、细胞生物、化学工程、化学、环境工程、地质化学、历史、文学、物质科学、数学、机械工程、分子生物、精神科学、太空科学、社会科学等。
理工类专业设置有：数学（PhD）、应用数学（PhD）、物理（PhD）、应用物理学（PhD）、天文学（PhD）、计算机科学（MS、PhD）、宇宙化学（MS、PhD）、地球生物学（PhD）、地球化学（MS、PhD）、地球物理学（MS、PhD）、地质学（MS、PhD）、行星科学（MS、PhD）、航天学（MS、PhD）、应用力学（MS、PhD）、土木工程（MS、PhD）、化学（PhD）、化学工程（MS、PhD）、生物学（MS、PhD）、细胞生物学和生物物理学（PhD）等。
研究生专业有：应用数学、物理、应用物理、天文学、计算机科学、宇宙化学、地球物理学、地球化学、地球生物学、地质学、数学、行星科学、航天学、应用力学、土木工程、化学、化学工程、生物学、细胞生物学、生物物理学等。
重点学科：
加州理工最著名的学科，首推物理，其次是工程、化学、生物、天文学和地质学。这里的每一位大学生，不论主修什么，都要修读5个学期的数学和物理、2个学期化学和1个学期的生物。除了科学之外，还要完成12门人文社会科学课程。经济与政治学也是加州理工的强项。

『伍』 java面试提问:什么是OOP

OOP全称Object Oriented Programming，是指面向对象程序设计，是一种计算机编程架构。OOP 的一条基本原则是计算机程序是由单个能够起到子程序作用的单元或对象组合而成。

面向对象编程技术的关键性观念是它将数据及对数据的操作行为放在一起，作为一个相互依存、不可分割的整体——对象。对于相同类型的对象进行分类、抽象后，得出共同的特征而形成了类。面向对象编程就是定义这些类。

(5)ETH计算机PhD面试扩展阅读：

OOP的优缺点：

1、OOP 的优点：使人们的编程与实际的世界更加接近，所有的对象被赋予属性和方法，结果编程就更加富有人性化。

2、OOP 的也有缺点，就 C++ 而言，由于面向更高的逻辑抽象层，使得 C++ 在实现的时候，不得不做出性能上面的牺牲，有时候甚至是致命的 。

『陆』 Linux系统工程师面试题附答案

一、简答题

1.如何将本地80端口的请求转发到8080端口,当前主机IP为192.168.16.1,其中本地网卡eth0:

答：# iptables -t nat -A PREROUTING -d 192.168.16.1 -p tcp --dport 80 -j DNAT --to 192.168.16.1:8080

或 者：# iptables -t nat -A PREROUTING -i eth0 -d 192.168.16.1 -p tcp -m tcp --dport 80 -j REDIRECT --to-ports 8080

2.什么是NAT,常见分为那几种，DNAT与SNAT有什么不同，应用事例有那些?

SNAT，DNAT，MASQUERADE都是NAT。

MASQUERADE是SNAT的一个特例。

SNAT是指在数据包从网卡发送出去的时候，把数据包中的源地址部分替换为指定的IP，这样，接收方就认为数据包的来源是被替换的那个IP的主机。

MASQUERADE是用发送数据的网卡上的IP来替换源IP，因此，对于那些IP不固定的场合，比如拨号网络或者通过dhcp分配IP的情况下，就得用MASQUERADE。

DNAT，就是指数据包从网卡发送出去的时候，修改数据包中的目的IP，表现为如果你想访问A，可是因为网关做了DNAT，把所有访问A的数据包的目的IP全部修改为B，那么，你实际上访问的是B

因为，路由是按照目的地址来选择的，因此，DNAT是在PREROUTING链上来进行的，而SNAT是在数据包发送出去的时候才进行，因此是在POSTROUTING链上进行的。

3.包过滤防火墙与代理应用防火墙有什么区别，能列举几种相应的产品吗?

4.iptables是否支持time时间控制用户行为，如有请写出具体操作步骤。

5.说出你知道的几种linux/unix发行版本。

Redhat、CentOS、Fedora、SuSE、Slackware、Gentoo、Debian、Ubuntu、FreeBSD、Solaris、SCO、AIX、HP…

6.列出linux常见打包工具并写相应解压缩参数(至少三种)

7.计划每星期天早8点服务器定时重启，如何实现?

8.列出作为完整邮件系统的软件,至少二类。

9，当用户在浏览器当中输入一个网站，说说计算机对dns解释经过那些流程?注：本机跟本地dns还没有缓存。

答：

a.用户输入网址到浏览器;

b.浏览器发出DNS请求信息;

c.计算机首先查询本机HOST文件，看是否存在，存在直接返回结果，不存在，继续下一步;

d.计算机按照本地DNS的顺序，向合法dns服务器查询IP结果;

e.合法dns返回dns结果给本地dns，本地dns并缓存本结果，直到TTL过期，才再次查询此结果;

f.返回IP结果给浏览器;

g.浏览器根据IP信息，获取页面;

10，我们都知道，dns既采用了tcp协议，又采用了udp协议，什么时候采用tcp协议?什么时候采用udp协议?为什么要这么设计?

答：这个题需要理解的东西比较的多，分一下几个方面

a，从数据包大小上分：UDP的最大包长度是65507个字节，响应dns查询的时候数据包长度超过512个字节，而返回的只要前512个字节，这时名字 解释器通常使用TCP从发原来的请求。

b，从协议本身来分：大部分的情况下使用UDP协议，大家都知道UDP协议是一种不可靠的协议，dns不像其它的使用UDP的Internet应用 (如：TFTP，BOOTP和SNMP等)，大部分集中在局域网，dns查询和响应需要经过广域网，分组丢失和往返时间的不确定性在广域网比局域网上更 大，这就要求dns客户端需要好的重传和超时算法，这时候使用TCP。

11，一个EXT3的文件分区，当使用touch test.file命令创建一个新文件时报错，报错的信息是提示磁盘已满，但是采用df -h命令查看磁盘大小时，只使用了，60%的磁盘空间，为什么会出现这个情况，说说你的理由。

答：两种情况，一种是磁盘配额问题，另外一种就是EXT3文件系统的设计不适合很多小文件跟大文件的一种文件格式，出现很多小文件时，容易导致inode 耗尽了。

12，我们都知道FTP协议有两种工作模式，说说它们的大概的一个工作流程?

FTP两种工作模式：主动模式(Active FTP)和被动模式(Passive FTP)

在主动模式下，FTP客户端随机开启一个大于1024的端口N向服务器的21号端口发起连接，然后开放N+1号端口进行监听，并向服务器发出PORT N+1命令。

服务器接收到命令后，会用其本地的FTP数据端口(通常是20)来连接客户端指定的端口N+1，进行数据传输。

在被动模式下，FTP客户端随机开启一个大于1024的端口N向服务器的21号端口发起连接，同时会开启N+1号端口。然后向服务器发送PASV命令，通 知服务器自己处于被动模式。服务器收到命令后，会开放一个大于1024的端口P进行监听，然后用PORT P命令通知客户端，自己的数据端口是P。客户端收到命令后，会通过N+1号端口连接服务器的端口P，然后在两个端口之间进行数据传输。

总的来说，主动模式的FTP是指服务器主动连接客户端的数据端口，被动模式的.FTP是指服务器被动地等待客户端连接自己的数据端口。

被动模式的FTP通常用在处于防火墙之后的FTP客户访问外界FTp服务器的情况，因为在这种情况下，防火墙通常配置为不允许外界访问防火墙之后主机，而只允许由防火墙之后的主机发起的连接请求通过。

因此，在这种情况下不能使用主动模式的FTP传输，而被动模式的FTP可以良好的工作。

13.编写个shell脚本将当前目录下大于10K的文件转移到/tmp目录下

Q：主要是考察awk 这些的用法

#/bin/sh

#Programm :

# Using for move currently directory to /tmp

for FileName in `ls -l |awk ‘$5>10240 {print $9}’`

do

mv $FileName /tmp

done

ls -la /tmp

echo “Done! ”

14.apache有几种工作模式，分别介绍下其特点，并说明什么情况下采用不同的工作模式?

apache主要有两种工作模式：prefork(apache的默认安装模式)和worker(可以在编译的时候加参数–with-mpm- worker选择工作模式)

『柒』 计算机界诺贝尔奖颁给谁了

计算机科学界的诺贝尔奖是图灵奖，就是说诺贝尔奖没有设立“计算机”方面的奖项。

1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)

因在新一代编程技术和编译架构方面的贡献而获奖.

1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge

因设计出第一台程序实现完全内存的计算机而获奖.

1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraate School

(was at Bell) (deceased)

因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.

1969 Marvin Minsky --- PhD, Princeton, Prof, MIT

因对人工智能的贡献被授予图灵奖.

1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical

Laboratory, London

因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.

1971 John McCarthy --- PhD, Princeton; Prof, Stanford

因对人工智能的贡献被授予图灵奖.

1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin

因在编程语言方面的出众表现而获奖.

1973 Charles W. Bachman --- staff, Honeywell

因在数据库方面的杰出贡献而获奖.

1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford

因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.

1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)

and Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)

因在人工智能、人类识别心理和表处理的基础研究而获奖.

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard

and Dana S. Scott --- PhD, Princeton; Prof, CMU

因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价

值的概念而获奖.

1977 John Backus --- BS, Columbia; staff, IBM

因对可用的高级编程系统设计有深远和重大的影响而获奖.

1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford

因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自

动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.

1979 Kenneth E. Iverson

因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.

1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)

因对程序设计语言的定义和设计所做的贡献而获奖.

1981 Edgar F. Codd --- PhD, Michigan; staff, IBM

因在数椐库管理系统的理论和实践方面的贡献而获奖.

1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto

因奠定了NP-Completeness理论的基础而获奖.

1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs

and Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs

因在类属操作系统理论，特别是UNIX操作系统的推广而获奖.

1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich

因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖.

1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley

因对算法理论的贡献而获奖.

1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell

and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton

因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.

1987 John Cocke --- staff, IBM

因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.

1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun

因在计算机图形学方面的贡献而获奖.

1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley

因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.

1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT

因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面

的贡献而获奖.

1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)

因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖.

1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft

因在个人分布式计算机系统（包括操作系统）方面的贡献而获奖.

1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell

and Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany

因奠定了计算复杂性理论的基础而获奖.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU

and Edward Feigenbaum (PhD, CMU; Prof, Stanford)

因对大型人工智能系统的开拓性研究而获奖.

1995 Manuel Blum --- PhD, MIT; Prof, Berkeley

因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.

1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU

因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.

1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI

因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.

1998 James Gray --- PhD, Berkeley; staff, Microsoft

因在数据库和事务处理方面的突出贡献而获奖.

1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC

因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.

2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (姚期智，首位华

人获奖者)

因对计算理论做出了诸多根本性的重大贡献.

2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo

因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面

向对象技术的肇始.

2002 Ronald L. Rivest --- PhD, Stanford; MIT;

and Adi Shamir --- PhD, Weizmann;

and Leonard M. Adelman --- PhD, Berkeley; USC

因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及

信用卡产业中被广泛使用的安全基本机制).

2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)

因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.

2004 Vinton G. Cerf、Robert E. Kahn

因在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，

TCP/IP，以及在网络方面卓越的领导。

2005 Peter Naur

因在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代

程序设计语言的原型。

2006 Frances Allen(首位女性获奖者)

因对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译

器和自动并行执行打下了基础。

2007 Edmund M. Clarke、 E Allen Emerson和Joseph Sifaki

表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业

中非常有效的算法验证技术所做的奠基性贡献。

1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis分别提

出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件

和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用

它确定代码中问题存在的位置。