愛德華·費根鮑姆
愛德華·阿爾伯特·費根鮑姆（，），生於美國新澤西州，計算機科學家，專長於人工智能，經常被人稱為專家系統之父。為1994年圖靈獎得主。 生平 費根鮑姆出生在新澤西州，一個猶太人家庭中。1956年在卡內基技術學院（今卡內基梅隆大學的前身）取得學士學位，1960年取得博士學位，指導教授為赫伯特·西蒙。在他的博士論文中，費根鮑姆建立了EPAM，第一個模仿人類學習能力的電腦系統。 2011年, 費根鮑姆因其在人工智能和智能系统上的显著贡献而入选I…
标签：#图灵奖获得者
共 51 篇文章
罗宾·米尔纳
亞瑟·約翰·羅賓·葛瑞爾·米爾納（，），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，爱丁堡皇家学会会员，ACM会士。 生平 出生于一个军人家庭，早年就读于伊顿公学。后加入英国皇家工程兵部队，获得少尉军衔。1952年入读剑桥大学国王学院，1957年毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。此后他进入学术界，先后在伦敦城市大学，斯旺西大学，斯坦福大学任职。1973年回到英国爱丁堡大学，…
費南多·柯巴托
費南多·荷西·柯巴托（，），又譯為費爾南多·考巴托，暱稱為科比·柯巴托（Corby Corbató），生於加利福尼亚州奧克蘭，美國計算機科學家，發展了分時作業系統，為1990年圖靈獎得主。他曾領導了CTSS與Multics計畫。 生平 1950年，取得加州理工學院碩士學位。1956年，成為麻省理工學院物理學博士。在畢業後，他進入麻省理工學院計算機中心工作，並在1965年成為教授。1961年，主導建立第一個分時作業系統，相容分時系統（CT…
肯尼斯·艾佛森
肯尼斯·E·艾佛森（，）是一位计算机科学家，最重要的貢獻是開發了APL語言。1979年他因對數學表達式和編程語言理論的貢獻而得到图灵奖。 在哈佛大学當助理教授時，他發展了一套數學表達式來操作陣列，以便教授學生。1960年，他開始在IBM跟工作，按他開發的數學表達式建立了APL語言。 其後他和（出生于香港后去加拿大）發明了J语言。 書籍 A Programming Language (1962年) 外部链接 [http://keiapl.…
克利斯登·奈加特
克利斯登·奈加特（，），挪威计算机科学家，社会活动家，图灵奖和冯·诺伊曼奖获得者，Simula的创始人，面向对象技术的先驱。 生平 克利斯登·奈加特1926年生于挪威的奥斯陆，1956年于奥斯陆大学获得数学硕士学位，论文是《蒙特卡罗方法的理论方面》。 1948年—1960年间克利斯登·奈加特全职工作于，进行计算、编程（1948年—1954年）和运筹学（1952年—1960年）方面的研究。 1957年—1960年间他是挪威防务系统中最早的…
奧利-約翰·達爾
奧利-約翰·達爾（，），生於挪威曼達爾，著名電腦科學家，與克利斯登·奈加特共同創造了Simula，被認為是物件導向之父。因此貢獻，他與克利斯登·奈加特共同獲得2001年圖靈獎與2002年约翰·冯诺依曼奖。 生平 著作
約翰·巴科斯
約翰·華納·巴科斯（，），美國計算機科學家，是早期高階語言（High-level Language）FORTRAN的發明小組組長。他提出了巴科斯範式（用來定義形式語言語法的記號法），發明了函数级编程概念及實踐該概念的FP语言。為1977年圖靈獎得主。 生平经历 1924年12月3日生于美国賓夕法尼亞州费城，父親是阿特拉斯火药公司的員工，後來轉職為证券经纪人。巴克斯中學時唸宾夕法尼亚州波茨敦市的希尔学校，平時不愛讀書，勉强毕业，沒有什麼過…
彼得·諾爾
彼得·諾爾（，），生於丹麥腓特烈斯贝，天文學家與計算機科學家，曾任哥本哈根大學教授。他協作開發了BNF範式，改進了程式語言。也曾投入 ALGOL 60的開發工作，在軟體工程及軟體架構領域中都有著重要貢獻。為2005年圖靈獎得主，也是目前唯一一位丹麥籍的得主。 生平 彼得·諾爾在學校中主修天文學，1957年，在哥本哈根大學取得天文學博士學位。在畢業後，他的研究方向轉向計算機科學方面，在1959年到1969年間，他在一間丹麥電腦公司工作。但…
艾伦·纽厄尔
艾伦·纽厄尔（，）是计算机科学和认知信息学领域的科学家，曾在兰德公司，卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。他是信息处理语言（IPL）发明者之一，并写了该语言最早的两个AI程序，合作开发了逻辑理论家（Logic Theorist 1956年）和一般问题解决器General Problem Solver。1975年他和赫伯特·西蒙（司马贺）一起因人工智能方面的基础贡献而被授予图灵奖。 参考 [https://web.…
杰弗瑞·乌尔曼
杰弗瑞·大衛·乌尔曼（，）是美国一位计算机科学家，斯坦福大学名誉教授。他编写的编译器教材（也称龙书）、计算理论（也称灰姑娘书）、数据结构、数据库教材，被认为是所在领域的标准。他与长期合作伙伴阿尔佛雷德·艾侯共同获得2020年图灵奖，该奖项公认为是计算机科学领域的最高荣誉。 生平 杰弗瑞·乌尔曼于1963年从哥伦比亚大学获得工程数学理学学士学位，1966年从普林斯顿大学获得电气工程博士学位。之后几年在贝尔实验室工作，1969年到1979年…
馬丁·赫爾曼
馬丁·愛德華·赫爾曼（，），生於美國紐約市，密碼學者，對公開密鑰加密技術有重要貢獻。與惠特菲爾德·迪菲一同發展出迪菲－赫尔曼密钥交换技術。獲得2015年圖靈獎。 生平 在大學主修主修電機工程。1966年，在紐約大學取得學士學位。1967年，在史丹福大學取得碩士學位，1969年取得電機工程博士。1968年至1969年間，在IBM華生研究中心（Thomas J. Watson Research Center）工作。1969年至1971年間，…
阿维·威格德森
阿维·威格德森（；）是以色列一位数学家、计算机科学家，他是美国普林斯顿高等研究院数学学院的一名教授。他的研究包括复杂性理论、平行算法、图论、密码学、分布式计算和神经网络，。 早年生活與學習 威格德森出生於以色列海法，父母是納粹大屠殺倖存者。威格德森畢業於海法，並於1980年从以色列理工学院毕业，之后进入普林斯顿大学攻读研究生，1983年在导师理查德·利普顿指导下完成题为《计算复杂性研究》的博士论文，并获得了计算机科学博士学位。 學術生涯…
莱斯利·兰波特
莱斯利·兰波特（，），美国计算机科学家。也是排版系統LaTeX的開發者。Lamport在计算机科学领域，特别是分布式系统，领域有着深远的影响，也奠定的此领域的基础。他最著名的贡献是在分布式系统中的逻辑时钟和事件排序，Bakery算法和互斥解决方案，并发程序的规范和验证，不可靠网络中的Paxos协议，以及复制状态机（Replicated State Machines）的概念。他的成果为他赢得了许多奖项和荣誉，包括2013年的图灵奖、Dij…
莱斯利·瓦利安特
莱斯利·加布里埃爾·瓦利安特（，），英国/美国计算机科学家。2010年图灵奖得主。 生平简历 1949年3月28日出生。曾在英国剑桥大学国王学院、伦敦帝国学院和华威大学接受教育。1974年获得英国华威大学计算机科学博士学位。1982年，成为美国哈佛大学教授，任教于哈佛大学工程和应用科学学院。 曾在卡内基梅隆大学、利兹大学、爱丁堡大学任教。 荣誉 1986年，奈望林纳奖。 1997年，高德纳奖。 2008年，。 2010年，图灵奖。 参考…
艾伦·爱默生
恩尼斯特·艾伦·爱默生二世（，）是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在取得的杰出贡献而获得图灵奖。 参照 外部链接 [http://amturing.acm.org/award_winners/emerson_1671460.cfm E. Allen Emerson - A.M. Turing Award] [http://www.cs.utexas.edu/~…
理查德·斯特恩斯
理查德·斯特恩斯 （，）是一名美国杰出的计算机科学家。他是紐約州立大學奧本尼分校计算机科学的一名教授。1993年，他与尤里斯·哈特马尼斯一起因在計算複雜性理論取得的杰出贡献而获得图灵奖。 参照 外部链接 [http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stearns:Richard_Edwin.html DBLP entry] * [http://www.cs.a…
拉吉·瑞迪
{{Infobox scientist | native_name = Raj Reddy | image = ProfRajReddyb-w.jpg | image_size = 180px | caption = |birth_name = Dabbala Rajagopal Reddy | birth_date = | birth_place = 英屬印度馬德拉斯省（今印度安得拉邦） | death_date = | death_…
希爾維奧·米卡利
希爾維奧·米卡利 （，），出生于意大利帕勒莫，现在在麻省理工學院電腦科學和人工智能实验室任职的计算机科学家。从1983年起，他是麻省理工學院电子工程和计算机科学部门的一名计算机科学教授，主要研究密码学和信息安全的理论。他也是区块链平台阿尔戈兰德的创始人。 奖项 1993年米卡利获得哥德尔奖。2007年，他被选为美国工程院院士，美国艺术与科学院院士。2012年希爾維奧·米卡利和莎菲·戈德瓦塞尔因其密码学的杰出工作获得图灵奖。 参照 外部链…
伊凡·蘇澤蘭
伊凡·愛德華·蘇澤蘭（，），生於美國內布拉斯加州黑斯廷斯，計算機科學家，被认为是“计算机图形学之父”。因發明Sketchpad，拓展了計算機圖形學的領域，為1988年圖靈獎得主。 生平 在卡內基技術學院（今卡內基梅隆大學）取得學士學位，於加州理工學院取得碩士。1963年，在麻省理工學院取得計算機工程博士學位。他在博士論文中提出的Sketchpad程式，被認為是計算機圖形學的一大突破。 1962年，他著手進行自己的博士論文，在麻省理工學院…
芭芭拉·利斯科夫
芭芭拉·利斯科夫（，），本名芭芭拉·简·休伯曼（）。美国计算机科学家，2008年图灵奖得主，2004年约翰·冯诺依曼奖得主。现任麻省理工学院电子电气与计算机科学系教授。 簡歷 1961年在加州大学伯克利分校获得数学学士学位。1968年在斯坦福大学获得博士学位，她是美国第一个计算机科学女博士。导师为1971年图灵奖得主约翰·麦卡锡教授，论文题目是国际象棋残局程序。 利斯科夫领导了许多重要的项目，包括小型低成本交互式的分时操作系统Venus…