图灵奖:詹姆斯·尼古拉·格雷(1998)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 38 期。图灵奖:詹姆斯·尼古拉·格雷(1998)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Jim Gray,翻译基于 谷歌翻译.

Jim Gray

詹姆斯·尼古拉·“吉姆”·格雷(James Nicholas “Jim” Gray,1944 年 1 月 12~2007 年 1 月 28 日?),美国计算机科学家。

他于 1998 年获得图灵奖。

Read more

图灵奖:道格拉斯·恩格尔巴特(1997)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 37 期。图灵奖:道格拉斯·恩格尔巴特(1997)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Douglas Engelbart,翻译基于 谷歌翻译.

Douglas Engelbart

道格拉斯·卡尔·恩格尔巴特(Douglas Carl Engelbart,1925年1月30日-2013年7月2日)是一位美国工程师和发明家,也是早期计算机和互联网的先驱。 他最出名的是他在建立人机交互领域的工作,特别是在 SRI International 的增强研究中心实验室期间,该实验室创造了计算机鼠标,并开发了超文本、网络计算机和图形用户界面的前身。

这些在 1968 年的“The Mother of All Demos”上得到了演示。恩格尔巴特定律(即人类表现的内在速率呈指数增长的观察结果)以他的名字命名。

他于 1997 年获得图灵奖。

Read more

图灵奖:阿米尔·伯努利(1996)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 36 期。图灵奖:阿米尔·伯努利(1996)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Amir_Pnueli,翻译基于 谷歌翻译.

Amir Pnueli

阿米尔·伯努利(Amir Pnueli,希伯来语:אמר פנואלй;1941年4月22日-2009年11月2日)是一位以色列计算机科学家。他在计算机科学领域的工作重点是时序逻辑和模型检查,特别是关于并发系统的公平性。

他于 1996 年获得图灵奖。

Read more

图灵奖:曼纽尔·布卢姆(1995)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 35 期。图灵奖:曼纽尔·布卢姆(1995)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Edward Feigenbaum,翻译基于 谷歌翻译.

Manuel Blum

计算复杂性理论的主要奠基人之一

曼纽尔·布卢姆(Manuel Blum,1938 年 4 月 26 日出生)是一位出生于委内瑞拉的美国计算机科学家。

他于 1995 年获得图灵奖。

Read more

图灵奖:爱德华·费根鲍姆(1994)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 34 期。图灵奖:爱德华·费根鲍姆(1994)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Edward Feigenbaum,翻译基于 谷歌翻译.

Edward Feigenbaum

专家系统之父

爱德华·艾伯特·费根鲍姆(Edward Albert Feigenbaum,1936 年 1 月 20 日出生)是一位从事人工智能领域工作的计算机科学家。

他通常被称为“专家系统之父”。

他因其在人工智能领域的工作与 Raj 共同获得了 1994 年 ACM 图灵奖。

Read more

图灵奖:拉吉·瑞迪(1994),生活大爆炸的Raj

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 33 期。图灵奖:拉吉·瑞迪(1994),生活大爆炸的Raj

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Raj Reddy,翻译基于 谷歌翻译.

Raj Reddy

《生活大爆炸》中 Raj 原型。今天的文章有主题曲。

拉吉·瑞迪(英语:Dabbala Rajagopal “Raj” Reddy,1937年6月13日—),印度裔美国计算机科学家,是人工智能的早期先驱之一,在斯坦福大学和卡内基梅隆大学任教超过 50 年,并且是卡内基梅隆大学机器人研究所的创始所长。

冷知识:拉吉·瑞迪还曾是李开复的博士生导师。

他因其在人工智能领域的工作获得了 1993 年 ACM 图灵奖。

Read more

图灵奖:理查德·斯特恩斯(1993)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 32 期。图灵奖:理查德·斯特恩斯(1993)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Richard E. Stearns,翻译基于 谷歌翻译.

Richard Stearns

计算复杂性理论(Computational complexity theory)

理查德·斯特恩斯,(Richard Edwin Stearns, 1936 年 7 月 5 日出生),美国计算机科学家。

他与 Juris Hartmanis 一起获得了 1993 年 ACM 图灵奖。

Read more

图灵奖:尤里斯·哈特马尼斯(1993)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 32 期。图灵奖:尤里斯·哈特马尼斯(1993)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Juris_Hartmanis,翻译基于 谷歌翻译.

Juris Hartmanis

计算复杂性理论(Computational complexity theory)

尤里斯·哈特马尼斯,(Juris Hartmanis,1928 年 7 月 5 日~ 2022 年 7 月 29 日),是一位出生于拉脱维亚的美国计算机科学家和计算理论家。

他与 Richard E. Stearns 一起获得了 1993 年 ACM 图灵奖。

Read more

图灵奖:巴特勒·兰普森(1992)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 32 期。图灵奖:巴特勒·兰普森(1992)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Butler Lampson,翻译基于 谷歌翻译.

Butler Lampson

Alto系统

巴特勒·兰普森(Butler W. Lampson),生于 1943 年 12 月 23 日,是一位美国计算机科学家,因其对分布式个人计算的开发和应用的贡献而闻名。

他于 1992 年获得图灵奖。

Read more

图灵奖:罗宾·米尔纳(1991)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 31 期。图灵奖:罗宾·米尔纳(1991)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Robin Milner,翻译基于 谷歌翻译.

Robin Milner

分时操作系统

亚瑟·约翰·罗宾·戈雷尔·米尔纳 FRS(Arthur John Robin Gorell Milner,FRS,1934 年 1 月 13 日 – 2010 年 3 月 20 日)是一位英国计算机科学家。

他于 1991 年获得图灵奖。

Read more