迈克尔·拉宾 (科学家)
迈克尔·O·拉宾（，， ）是一名以色列计算机科学家，1976年图灵奖得主。 生平 拉宾出生于德国布雷斯劳（二战后成为波兰弗羅茨瓦夫），父亲是一个拉比，4歲遷居至巴勒斯坦託管地。 1953年，他获得希伯来大学的理学硕士，1956年获普林斯顿大学博士学位。 1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（）的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“计算机复杂性”（）的演讲。图灵奖的引文…
标签：#圖靈獎獲得者
共 12 篇文章
马文·闵斯基
{{Infobox scientist | name = 馬文·明斯基 | native_name = Marvin Minsky | native_name_lang = en |other_names= -{zh-tw:閔斯基;zh-cn:马文·明斯基}- |birth_name= Marvin Lee Minsky | image = Marvin Minsky at OLPCb.jpg | image_size = 200px …
约翰·麦卡锡
约翰·麦卡锡（，），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年的达特矛斯会议上提出了“人工智能”这个概念。 履历 1927年9月4日，约翰·麦卡锡出生於美國麻薩諸塞州波士頓。他的父親John Patrick是愛爾蘭裔美國人，母親Ida Glatt McCarthy是立陶宛的猶太人。 他于1948年获得加州理工学院数学学士学位，1951年获得普林斯顿大学数学博士学位…
艾伦·佩利
艾倫·傑·佩利（，），生于美国宾夕法尼亚州匹兹堡，是美国计算机程序设计领域的科学家，首届图灵奖的获得者。 生平 1943年于卡内基理工学院（现卡内基梅隆大学）获得化学学士学位。二战中，在美军服役，开始对数学感兴趣。后改学数学，1949年获得硕士学位。1950年在麻省理工学院获博士学位。他的博士论文题目是“On Integral Equations, Their Solution by Iteration and Analytic Con…
迈克尔·斯通布雷克
迈克尔·斯通布雷克（，），美国计算机科学家，研究领域为数据库。通过一系列学术原型以及初步的商业化，斯通布雷克在关系数据库方面的研究结果对现今市场上的产品有很深的影响。同时他也是以下数据库公司的创始人：Ingres，Illustra，Cohera，StreamBase Systems，Vertica，以及VoltDB。 目前，斯通布雷克是MIT的兼职教授，所参与的项目包括：Aurora，C-Store，H-Store，Morpheus，以…
阿米尔·伯努利
阿米尔·伯努利（，），以色列计算机科学家。 生平 伯努利出生于英国巴勒斯坦（以色列）的那哈啦，并获得了海法以色列理工学院的数学学士学位和博士学位。来自魏茨曼科学研究所的应用数学。他的论文主题是“海洋潮汐的计算”。在斯坦福大学担任博士后研究员期间，他转到计算机科学专业。他的计算机科学着作侧重于时态逻辑和模型检查，特别是关于并发系统的公平性。 1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。電腦…
阿迪·萨莫尔
{{Infobox scientist | name = 阿迪·薩莫爾 Adi Shamir | image = Adi_Shamir_Royal_Society.jpg | caption = 攝於2018年 | birth_date = | birth_place = 特拉維夫 | death_date = | death_place = | alma_mater = 特拉維夫大學 魏茨曼科學研究學院 | known_for = R…
艾兹赫尔·戴克斯特拉
艾兹赫尔·韦伯·戴克斯特拉（，，），又譯艾兹赫尔·韦伯·迪杰斯特拉，生於荷蘭鹿特丹，计算机科学家，是荷蘭第一位以程序设计為專業的科學家。他曾在1972年获得图灵奖，之后还获得1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖。 2002年，在他去世前不久，获得了ACM PODC（分布式计算原理）最具影响力论文奖，以表彰他在分布式领域中关于程序计算自稳定的…
理查德·卡普
{{Infobox scientist | name = 理查德·卡普 Richard Karp | image = Karp mg 7725-b.cr2.jpg | image_size = | caption = 攝於2009年 | birth_name = Richard Manning Karp | birth_date = | birth_place = 麻薩諸塞州波士頓 | death_date = | death_plac…
約翰·科克
約翰·科克（，），又譯為約翰·考克、約翰·寇克，生於美國北卡羅來納州夏洛特，計算機科學家，在電腦架構及編譯器最佳化技術方面有重大貢獻，因此獲得圖靈獎。曾提出CYK算法。在他主導的IBM 801計劃中，首次採用RISC架構，因此被稱為RISC架構之父。 生平 畢業於杜克大學，1946年在此取得機械工程碩士學位，1953年取得數學博士學位。他在1956年進入IBM，在此工作直到1992年退休。 1970年，提出CYK算法。 1972年，獲得…
埃德加·科德
埃德加·弗兰克·科德（， ），小名泰德·科德（Ted Codd），生于英国英格兰多塞特郡的波特兰，计算机科学家。他为关系型数据库理论做出了奠基性的贡献。他在IBM工作期间，首创了关系模型理论。他一生中为计算机科学做出了很多有价值的贡献，而关系模型，作为一个在数据库管理方面非常具有影响力的基础理论，仍然被认为是他最引人瞩目的成就。 生平 埃德加·弗兰克·科德生於英格蘭的波特蘭島。在牛津大学埃克塞特学院主修数学与化学，第二次世界大战期間，成…
史蒂芬·库克
史蒂芬·亞瑟·库克（，）是一名美國計算機科學家，計算複雜性理論的重要研究者。 1971年，在他的論文《定理證明程式的複雜性》（The Complexity of Theorem Proving Procedures），他整理了NP完備性的目標，亦產生了库克定理——布爾可滿足性問題是NP完備的證明。 1982年，库克获得图灵奖。因為其論文開啟了NP完備性的研究，令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。 库克現為多倫多大學…