迈克尔·奥瑟·拉宾

迈克尔·奥瑟·拉宾(生于1931年9月1日，布雷斯劳生于德国的以色列裔美国数学家和计算机科学家，1976年诺贝尔物理学奖得主之一点图灵奖的最高荣誉计算机科学．拉宾和美国数学家、计算机科学家达纳·s·斯科特是引用他们早期的联合论文"有限自动机和它们的决策问题”，这对研究领域产生了持久的影响自动机理论以及他们随后的独立工作。

拉宾的家人移民到了巴勒斯坦在1935年。1953年拉宾获得了硕士学位在数学从耶路撒冷希伯来大学，然后他去了美国获得数学博士学位(1957年普林斯顿大学．拉宾曾在普林斯顿大学任教(1956-58)，之后返回以色列1958年接受希伯来大学数学教授的职位。1980年，他成为学校的校长阿尔伯特·爱因斯坦他担任数学教授，直到1999年退休，担任名誉教授。在此期间，他还担任联合任命哈佛大学，先后担任Gordon McKay计算机科学教授(1981-83)和Thomas J. Watson, Sr，计算机科学教授(1983-12);2013年，他成为Thomas J. Watson, Sr.计算机科学研究教授。

除了他的工作决策问题在数学方面，拉宾参与开发了Miller-Rabin检验，an算法用来确定一个给定的数字是否是a主要的号码。这只是拉宾在科学领域众多贡献的一个方面密码学和数据加密．也许他影响最深远的工作是他的发明，与以色列裔美国计算机科学家约纳坦·奥曼和中国计算机科学家丁严宗合作超级加密，第一个被证明是不可破解的加密计划。

除了图灵奖，拉宾还获得了1974年罗斯柴尔德数学奖，1980年哈维科学技术奖，1995年以色列精确科学/计算机科学奖，2000年IEEE查尔斯巴贝奇计算机科学奖，以及2004年EMET精确科学奖:计算机科学。拉宾曾在《世界新闻报》的编委会任职计算机与系统科学杂志,组合理论杂志，以及算法杂志．他被选为美国艺术与科学学院(1975)，以色列科学与人文学院(1982)，美国美国国家科学院(1984)美国哲学学会(1988)，法国科学院(1995)英国皇家学会(2007)，以及欧洲科学院。