1990年获奖,贡献领域:CTSS和Multics
1991年获得图灵奖。在计算机程序设计语言方面,米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型,实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)的。
1992年度的图灵奖授予当时任DEC公司高级研究员和主任设计师的巴特勒·拉姆泼逊(ButlerWrightLampson)。
1994年获奖,他的重大贡献在于通过实验和研究,证明了实现智能行为的主要手段在于知识,在多数实际情况下是特定领域的知识。 1994年度的图灵奖由两位人工智能专家分享,其一是声名卓著的爱德华·费根鲍姆(Edward Albert Feigenbaum);另一位是后起之秀的雷伊·雷蒂(Raj Reddy)。
1994年获奖,他的重大贡献在于通过实验和研究,证明了实现智能行为的主要手段在于知识,在多数实际情况下是特定领域的知识。 1994年度的图灵奖由两位人工智能专家分享,其一是声名卓著的爱德华·费根鲍姆(Edward Albert Feigenbaum);另一位是后起之秀的雷伊·雷蒂(Raj Reddy)。
密码系统和程序检验先驱,计算复杂性理论的主要奠基人之一,第三十届(1995年)图灵奖得主。
1996年授予Amir Pnueli 图灵奖,以表彰其在计算机科学中引入时序逻辑的开创性的研究工作,和其在编程语言和系统验证方面的突出贡献。
1997年获奖,最著名的就是鼠标的专利。另外他的小组是人机交互的先锋,开发了超文本系统、网络计算机,以及图形用户界面的先驱;并致力于倡导运用计算机和网络,来协同解决世界上日益增长的紧急而又复杂的问题。他被冠为“鼠标之父”。
1998年获奖,他提出了资料方块、锁定颗粒等概念。他亦有份开发Windows Live Local。
1999年获得图灵奖,他在20世纪60年代初只有29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM/360系列计算机的开发工作,取得辉煌成功,从而名噪一时。以后他作为硬件和软件的双重专家和出色的教育家始终活跃在计算机舞台上,在计算机技术的诸多领域中都作出了巨大的贡献。
推荐经销商