标签:#IEEE约翰·冯·诺依曼奖获得者

共 24 篇文章

約翰·霍普克羅夫特

約翰·愛德華·霍普克羅夫特(,),生於美國華盛頓州西雅圖市,理論計算機科學家,為1986年圖靈獎得主。在形式語言,計算理論及数据结构領域中,由他寫作的教科書,被認為是經典著作。 生平 1962年在斯坦福大學取得碩士學位,1964年取得博士。畢業後曾在普林斯顿大学任教,之後轉往康乃爾大學。 1986年與罗伯特·塔扬共同獲得圖靈獎。 獲獎 1986年:圖靈獎 1989年:美國國家工程院院士 1994年:ACM會士 2005年:哈里·H·古德…

高德纳

高德納(,音譯唐納德·爾文·克努斯,),出生於美国密尔沃基,著名计算机科学家及數學家,斯坦福大学计算机系榮譽退休教授。高德纳教授為现代计算机科学的先驅人物,創造了演算法分析的領域,在數個理論計算機科學的分支做出基石一般的貢獻。在计算机科学及数学领域发表了多部具广泛影响的论文和著作。1974年圖靈獎得主。 高德纳所写的《计算机程序设计艺术》()是計算機科學界高度敬重的參考書籍之一。他也是排版軟件和字型設計系統Metafont的发明人。此外…

東尼·霍爾

查爾斯·安東尼·理查德·霍爾爵士(,縮寫為C. A. R. Hoare,),暱稱為東尼·霍爾(,一譯托尼·霍爾),生於大英帝國錫蘭可倫坡(今斯里蘭卡),英國計算機科學家,圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 生平 東尼·霍爾的父親是一位公務員,服務於英屬錫蘭。其母親是茶園主人的女兒。 東尼·霍爾在可倫坡出生,在英國本土受教育。1956年,在牛津大學墨頓學院取得西洋古典學學士學位。在大學畢業後,進入英國皇家海軍服兵…

佛瑞德·布魯克斯

小弗雷德雷克·菲利普斯·「佛瑞德」·布魯克斯(,)是一名來自美国北卡羅來納州德罕的軟體工程師、學者,曾任IBM系统部主任,主持开发过OS/360等大型电脑(计算机)用的操作系统软体。 后来,布鲁克斯离开IBM公司,任教於北卡羅萊納大學教堂山分校,擔任計算機科學Kenan講座教授,并著书立说。他所著的《人月神話》一書,被視為是軟體工程的重要書籍之一。為1999年圖靈獎得主。 生平 1953年,畢業於杜克大學,取得物理學學士學位。1956年…

迈克尔·乔丹 (学者)

迈克尔·厄文·乔丹(, ),美国计算机科学和统计学学者,主要研究机器学习和人工智能。目前担任加州大学伯克利分校电机工程与计算机系和统计学系教授和法国国家计算机与自动化研究院Inria研究员。2016年,据《科学》报道,迈克尔·I·乔丹是当今世界最有影响力的计算机科学家。 他的重要贡献包括指出了机器学习与统计学之间的联系,并推动机器学习界广泛认识到贝叶斯网络的重要性。他还以近似推断变分方法的形式化、最大期望算法在机器学习的普及方面的工作而…

查尔斯·萨克尔

查尔斯·派屈克·萨克尔(,),美国计算机科学家,美国工程院院士,美国艺术与科学院院士,計算機協會会士,微软技术院士。因设计与实现了第一台现代个人电脑Xerox Alto而荣获2009年图灵奖。 生平 1943年2月26日,萨克尔出生于美国加州帕萨迪纳。 1968年在加州大学伯克利分校读物理专业时加入Genie项目,开始进入计算机界。 1970年,加盟施乐公司Palo Alto研究中心。先后担任MAXC时分操作系统的项目负责人,Alto个…

莫里斯·威尔克斯

莫里斯·文森特·威尔克斯爵士,,(,),英国计算机科学家。设计和制造了世界上第一台存储程序式电子计算机,在“工程和软件等计算机领域都有许多开创性成果”。 简介 威尔克斯1913年6月26日生于英国斯塔福德郡的达德利。于1931-1934年就读于剑桥大学圣约翰学院,之后进入卡文迪许实验室,并于1936年完成其物理学博士学位。博士论文题目是“关于甚长无线电波在电离层中的传播特性”()。他的硕士学位也是在同一年年初获得。 二战期间,威尔克斯在…

克里夫·莫勒尔

克里夫·巴里·莫勒爾(,),美國數學家及電腦科學家,研究數值分析領域,MATLAB語言創立者,軟體公司邁斯沃克首席科學家,美國國家工程院院士(1997年2月14日獲選)。 經歷 克里夫·莫勒爾於1961年獲加州理工學院數學学士学位及史丹福大學數學博士。此後,他作為數學和計算機科學教授,在密歇根大學、史丹佛大學及新墨西哥大學執教達20年之久。此期間他亦在英特爾超立方體和任職。 自1970年代中期始,他開發設計了LINPACK和及Fortr…

阿尔佛雷德·艾侯

{{Infobox scientist | name= Alfred Aho | birth_name = Alfred Vaino Aho | image = | image_size = 185px | caption = | birth_date = | birth_place = 安大略省提明斯 | death_date = | death_place = | residence = 美國 | nationality = 加拿大…

道格拉斯·恩格尔巴特

{{Infobox scientist | name = 道格拉斯·恩格尔巴特 Douglas Engelbart | image = Douglas Engelbart in 2008.jpg | image_size = 200px | caption = 2008年的道格拉斯·恩格尔巴特 |birth_name=Douglas Carl Engelbart | birth_date = | birth_place = 俄勒冈州波特…

巴特勒·蘭普森

巴特勒·萊特·蘭普森(,),生於美國華盛頓特區,電腦科學家,為1992年圖靈獎得主。曾提出個人電腦的設計概念、存取控制矩陣。 生平 中學畢業於羅倫斯威爾中學(Lawrenceville School),1964年於哈佛大學取得物理學碩士學位。1967年,取得加州柏克萊大學電機工程與計算機科學博士。 在1960年代中,巴特勒·蘭普森成為加州柏克萊大學Project Genie的一份子。1965年,Project Genie中的幾名成員,以…

克利斯登·奈加特

克利斯登·奈加特(,),挪威计算机科学家,社会活动家,图灵奖和冯·诺伊曼奖获得者,Simula的创始人,面向对象技术的先驱。 生平 克利斯登·奈加特1926年生于挪威的奥斯陆,1956年于奥斯陆大学获得数学硕士学位,论文是《蒙特卡罗方法的理论方面》。 1948年—1960年间克利斯登·奈加特全职工作于,进行计算、编程(1948年—1954年)和运筹学(1952年—1960年)方面的研究。 1957年—1960年间他是挪威防务系统中最早的…

奧利-約翰·達爾

奧利-約翰·達爾(,),生於挪威曼達爾,著名電腦科學家,與克利斯登·奈加特共同創造了Simula,被認為是物件導向之父。因此貢獻,他與克利斯登·奈加特共同獲得2001年圖靈獎與2002年约翰·冯诺依曼奖。 生平 著作

迈克尔·斯通布雷克

迈克尔·斯通布雷克(,),美国计算机科学家,研究领域为数据库。通过一系列学术原型以及初步的商业化,斯通布雷克在关系数据库方面的研究结果对现今市场上的产品有很深的影响。同时他也是以下数据库公司的创始人:Ingres,Illustra,Cohera,StreamBase Systems,Vertica,以及VoltDB。 目前,斯通布雷克是MIT的兼职教授,所参与的项目包括:Aurora,C-Store,H-Store,Morpheus,以…

赫里斯托斯·帕帕季米特里乌

。]] 赫里斯托斯·哈里劳斯·帕帕季米特里乌(,羅馬化:Christos Harilaos Papadimitriou,)是一名生於希臘的電腦科學家,現任教於柏克萊加州大學。帕帕季米特里乌在演算法領域做出研究,並曾先後任教於哈佛大學、麻省理工學院、國立雅典理工大學、史丹佛大學、聖地牙哥加利福尼亞大學、與柏克萊加州大學。 成就 帕帕季米特里乌在複雜度理論等方面的貢獻使他獲得了高德納獎,並使他成為了美國國家科學院與美國國家工程學院院士。 他…

莱斯利·兰波特

莱斯利·兰波特(,),美国计算机科学家。也是排版系統LaTeX的開發者。Lamport在计算机科学领域,特别是分布式系统,领域有着深远的影响,也奠定的此领域的基础。他最著名的贡献是在分布式系统中的逻辑时钟和事件排序,Bakery算法和互斥解决方案,并发程序的规范和验证,不可靠网络中的Paxos协议,以及复制状态机(Replicated State Machines)的概念。他的成果为他赢得了许多奖项和荣誉,包括2013年的图灵奖、Dij…

卡弗·米德

卡弗·安德烈斯·米德(,)是美国计算机科学家。 生平 生于加利福尼亚州贝克斯菲尔德。他目前是加州理工学院工程与应用科学Gordon and Betty Moore荣誉退休教授,教龄超过40年。 密德曾在加州理工学院学习电机工程,在1956年、1957年和1960年分别获得学士、硕士和博士学位。 摩爾定律是他最早提出來的。 參考文獻 外部連結 * [https://web.archive.org/web/20070928062027/ht…

詹姆斯·高斯林

{{Infobox person |name = 詹姆斯·高斯林 |native_name = James Gosling |native_name_lang = en |title = |image = James_Gosling_2008.jpg |birth_date = |birth_place = 阿尔伯塔省卡尔加里 |residence = 加州舊金山灣區 |nationality = |occupation = 電腦科學家…

約翰·科克

約翰·科克(,),又譯為約翰·考克、約翰·寇克,生於美國北卡羅來納州夏洛特,計算機科學家,在電腦架構及編譯器最佳化技術方面有重大貢獻,因此獲得圖靈獎。曾提出CYK算法。在他主導的IBM 801計劃中,首次採用RISC架構,因此被稱為RISC架構之父。 生平 畢業於杜克大學,1946年在此取得機械工程碩士學位,1953年取得數學博士學位。他在1956年進入IBM,在此工作直到1992年退休。 1970年,提出CYK算法。 1972年,獲得…

伊凡·蘇澤蘭

伊凡·愛德華·蘇澤蘭(,),生於美國內布拉斯加州黑斯廷斯,計算機科學家,被认为是“计算机图形学之父”。因發明Sketchpad,拓展了計算機圖形學的領域,為1988年圖靈獎得主。 生平 在卡內基技術學院(今卡內基梅隆大學)取得學士學位,於加州理工學院取得碩士。1963年,在麻省理工學院取得計算機工程博士學位。他在博士論文中提出的Sketchpad程式,被認為是計算機圖形學的一大突破。 1962年,他著手進行自己的博士論文,在麻省理工學院…