图灵奖:达纳·斯科特(1976)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 14 期。

本文来自 wiki:Dana Scott,翻译基于 腾讯交互翻译.

Dana Scott

达纳·斯图尔特·斯科特(英语:Dana Stewart Scott,1932 年 10 月 11 日-),美国逻辑学家,现为卡内基梅隆大学希尔曼大学计算机科学、哲学和数理逻辑名誉教授。

他在 20 世纪 70 年代与 Christopher Strachey 的合作奠定了现代编程语言语义方法的基础。同时,他还从事模态逻辑,拓扑学和范畴理论的研究。

因在自动机理论方面的工作,斯科特获得了 1976 年的图灵奖。

Read more

图灵奖:迈克尔·奥瑟·拉宾(1976)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 13 期。

本文来自 wiki: Michael O. Rabin,翻译基于 腾讯交互翻译.

Michael O. Rabin

迈克尔·奥瑟·拉宾,出生于 1931 年 9 月 1 日,是以色列数学家、计算机科学家。

1976 年他和赫伯特·西蒙(Herbert A. Simon,司马贺)一起因人工智能方面的基础贡献而被授予图灵奖。

Read more

图灵奖:赫伯特·西蒙(司马贺,1975)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 12 期。

本文来自 wiki: Herbert A. Simon,翻译基于 腾讯交互翻译.

Herbert A. Simon

赫伯特·亚历山大·西蒙(英语:Herbert Alexander Simon,1916年6月15日-2001年2月9日),美国政治学家。他的研究以其跨学科性质而闻名,跨越了认知科学,计算机科学,公共行政,管理和政治科学等领域。他的工作影响了计算机科学、经济学和认知心理学领域。

Read more

图灵奖:艾伦·纽厄尔(1975)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 11 期。

本文来自 wiki: Allen_Newell,翻译基于 腾讯交互翻译.

Allen Newell

艾伦·纽厄尔(Allen Newell,1927年3月19日-1992年7月19日),美国计算机科学和认知心理学研究员,曾就职于 RAND 公司、卡内基梅隆大学计算机科学学院、Tepper 商学院和心理学系。

他是信息处理语言(IPL)发明者之一,并作为开发者之一,使用该语言编写最早的两个 AI 程序:逻辑理论家(Logic Theorist,首个可以自动进行推理的程序)和一般问题解决器(General Problem Solver)。

1975年他和赫伯特·西蒙(Herbert A. Simon,司马贺)一起因人工智能方面的基础贡献而被授予图灵奖。

Read more

图灵奖:唐纳德·尔文·克努斯(高德纳,1974)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 10 期。

本文来自 wiki: Donald_Knuth,翻译基于 腾讯交互翻译.

Donald Knuth

如果你没听过 TAOCP,那么说明你的计算机知识水平还有很大的进步空间。

唐纳德·尔文·克努斯(中文名“高德纳”,Donald Ervin Knuth)出生于 1938 年 1 月 10 日,是美国计算机科学家、数学家,斯坦福大学名誉教授。他被称为“算法分析之父”,是 1974 年 ACM 图灵奖的获得者。

其图灵奖颁奖词为“表彰他对算法分析和编程语言设计的突出贡献,特别是他通过著作对“计算机程序设计艺术”的贡献,。”(For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to the “art of computer programming” through his well-known books in a continuous series by this title)。

Read more

图灵奖:查尔斯·巴赫曼(1973)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 9 期。

本文来自 wiki: Charles_Bachman,翻译基于 腾讯交互翻译.

Charles Bachman

查尔斯·威廉·巴赫曼三世(Charles William Bachman III,1924年12月11日-2017年7月13日),美国计算机科学家,他的整个职业生涯都是作为工业研究员、开发人员和管理人员,而并非在学术界。他以在数据库管理系统的早期开发方面的工作闻名,包括以他命名的分层架构技术——巴赫曼图。

其图灵奖颁奖词为“表彰他对数据库技术的杰出贡献”(For his outstanding contributions to database technology)。

Read more

图灵奖:艾兹赫尔·韦伯·迪杰斯特拉(1972)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 8 期。

本文来自 wiki: Edsger_Wybe_Dijkstra,翻译基于 腾讯交互翻译.

Edsger Wybe Dijkstra

学过算法的,应该都不会忘记被最短路径(Dijkstra)算法支配的恐惧吧!

Edsger Wybe Dijkstra(1930 年 5 月 11 日- 2002 年 8 月 6 日)是一位荷兰计算机科学家、程序员、软件工程师、系统科学家和科学散文家。他因对开发结构化编程语言的基本贡献而获得 1972 年图灵奖。

其图灵奖颁奖词为“表彰对编程这一高智力挑战的基础性贡献;强有力的主张和切实地证明程序应该正确编写,而不仅仅是调试好;从程序设计的基础上阐明对问题的认识”(For fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design)。

Read more

图灵奖:约翰·麦卡锡(1971)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 7 期。

本文来自 wiki:John_McCarthy,翻译基于 腾讯交互翻译.

John McCarthy

约翰·麦卡锡(John McCarthy,1927年9月4日-2011年10月24日),美国计算机科学家和认知科学家。 他是人工智能(AI)这一学科的创始人之一。

麦卡锡的大部分职业生涯都在斯坦福大学度过。

因其在人工智能领域的卓越成就,他被授予 1971 年的图灵奖。

Read more

图灵奖:詹姆斯·哈迪·威尔金森(1970)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 6 期。图灵奖:詹姆斯·哈迪·威尔金森(1970)

本文来自 wiki: James H. Wilkinson,翻译基于 腾讯交互翻译.

James H. Wilkinson

詹姆斯·哈迪·威尔金森(James Hardy Wilkinson,1919 年 9 月 27 日-1986 年 10 月 5 日)是一位英国数学家和计算机学家,他对所在的数值分析领域有杰出贡献(数值分析是应用数学与计算机科学的交叉学科,对物理学和工程有重要作用)。

由于他在促进高速数字计算机使用的数值分析方面的研究,并在线性代数计算和“向后”误差分析方面的工作得到了特别的认可,他 被授予 1970 年的图灵奖。

Read more

图灵奖:马文·闵斯基(1969)

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

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 5 期。

本文来自 wiki: Marvin Minsky,翻译基于 腾讯交互翻译.

Marvin Minsky

马文·李·明斯基(英语:Marvin Lee Minsky,1927年8月9日-2016年1月24日)是一位美国认知和计算机科学家,MIT 人工智能实验室的联合创始人。

他因在创造、塑造、促进和推进人工智能(AI)领域方面的主导作用获得 1969 年的图灵奖。

Read more