Michael O. Rabin

迈克尔·O·拉宾（Michael Oser Rabin，1931年9月1日— ）是一名以色列计算机科学家，1976年图灵奖得主。他在计算机科学领域的贡献包括对有限自动机和无限自动机的研究，以及对分布式计算和密码学的贡献。

拉宾出生于德国布雷斯劳（二战后成为波兰弗罗茨瓦夫），父亲是一个拉比。1953年，他获得希伯来大学的理学硕士，1956年获普林斯顿大学博士学位。

1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”的论文，提出了非确定自动机的观点。他们也因此获得了1976年的图灵奖，并做“计算机复杂性”的演讲。

1975年，拉宾发明了米勒-拉宾检验，这是一个相当快速的随机化算法，用于判断一个大数是否是素数。快速素数检验是目前大部分公钥密码体系的关键。

1979年，拉宾发明了第一个非对称密码系统——拉宾密码系统。它的安全性被证明和整数因式分解的复杂度相同。

1981年，拉宾提出了不经意传输技术。

1987年，拉宾和理查德·卡普提出了一个字符串搜索算法——拉宾-卡普算法。

2021年1月14日，Michael O. Rabin入选ACM Fellow。