1976年图灵奖

获奖原因：

    在1959年发表的论文“有限自动机及其判定问题”中提出了非确定性有限状态自动机这一概念。

图灵奖引用：

授 予 MichaelO. Rabin与DanaSteward Scott图灵奖以表彰合作撰写的研究论文“有限自动机与其判定性问题”。在该研究论文中，提出了非确定性自动机的观点。它被证明是一个极富价值的重要概念。

Rabin和Scott的这篇经典文章成为这个领域后续研究的基石。”

米凯尔.拉宾（1931-）（MichaelOserRabin）

MichaelOser Rabin生于1931年于德国布雷斯劳（今波兰弗罗茨瓦夫）的一个犹太人家庭。父亲是一位博士在当时很有名的布雷斯劳神学院教犹太历史和哲学。母亲是一位文学博士。希特勒上台后不久其父凭借政治敏感于 1935 年搬迁到了巴勒斯坦从而躲过一劫并在 1948 年以色列建国后成为以色列公民 。 因为对数学非常感兴趣，他的父亲把他送到了海法最好的高中。高中毕业后，他在 1948 年的阿以战争中被征召入伍。耶路撒冷的数学教授，数学家亚伯拉罕 · 弗兰克尔（ Abraham Fraenkel ），对军队的指挥进行了干预，拉宾在 1949 年出院读书 。

1953年从耶路撒冷希伯来大学数学硕士学位。

1956年从普林斯顿大学获得博士学位。

1957年与其师弟斯科特开始研究图灵机，并在1959年发表了论文“有限自动机及其判定问题”并在1976年因此论文获得图灵奖。

1959年和1960年发表论文“计算机速度和递归集合的分类”“函数的计算难度和递归集合的偏序”对后来1964正式提出“计算复杂性”这一术语的哈特马尼斯和斯特恩斯(1993年图灵奖获得者)以及计算复杂性理论的另一奠基人布卢姆（1995年图灵奖获得者）产生了影响。

1960年，到贝尔实验室（BellLabs）工作。

1975年，拉宾任职希伯来大学校长，赴美国麻省理工学院担任客座教授。

1979年，拉宾发明了Rabin密码系统。

1981年，拉宾改造了不经意传输技术。

1987年，拉宾与理查德·卡普（RichardKarp）一起创建了最有名的字符串搜索算法之一，Rabin-Karp字符串搜索算法。

2007年春季学期，在哥伦比亚大学担任密码学入门教授。

他目前是哈佛大学计算机科学 ThomasJ. Watson 高级教授和希伯来大学计算机科学教授，研究集中在计算机安全。

达纳.斯科特（1932-）（DanaSteward Scott）

1932年10月11日生于美国加利福尼亚州，在加州大学伯克利分校获得学士学位，之后进入普林斯顿大学研究院，与拉宾一起师从阿隆索.邱奇。

1957年暑假与师兄拉宾一起完成对图灵机的研究，提出非确定性有限状态自动机的理论。

1958年获得博士学位。

1958-1960年都在芝加哥担任讲师。

1960-1963年在加利福尼亚的伯克利分校担任数学系副教授参与数学逻辑中的集合论和模型论的研究。

1963-1972年分别在斯坦福大学，阿姆斯特丹大学和普林斯顿大学任教。

1967年，斯科特发表了一篇论文“连续统假设独立性证明”，他用布尔值模型对连续性假设与保罗·科恩提供的独立性进行了交替分析。使得其1972年获得LeroyP. Steele奖。

1970年和蒙塔古（Montague）发现了对模态和时态逻辑重要的Kripk语义概括称为Scott-Montague语义。

1972-1981年在牛津大学哲学系担任数学逻辑学教授。

1977年出版了“An Introduction to Model Logic”

1981年被卡内基-梅隆大学聘为计算机科学，数理逻辑和哲学教授，直到2003年退休。

斯科特的主要兴趣和研究方向是逻辑学。研究面涉及集合论、模型论、非经典逻辑中的模态逻辑（表达必然与可能这样一些概念的逻辑）和直觉主义逻辑。但他的最大的贡献是与斯特雷奇（Strachey）合作提出了程序设计语言的“标志语义模型”。