数学逻辑与计算研究
迈克尔·O.拉宾（Michael O. Rabin）是研究自动机、计算复杂性与密码学的计算机科学家，不是同姓政治人物。其家庭1935年从德国迁往当时的巴勒斯坦地区；他于1953年完成耶路撒冷希伯来大学的数学硕士学习，随后在普林斯顿大学攻读博士。
1957年参加 IBM 的暑期研究，为他的自动机理论工作提供了重要合作环境。他长期在希伯来大学任教并曾任学术负责人，也在哈佛大学担任计算机科学教授，参与推动计算机科学教育。皇家学会记录他于2026年4月14日去世。
有限状态怎样表达多条可能路径
拉宾与达纳·斯科特1959年的论文《有限自动机及其判定问题》，把自动机看作读取有限符号串并作出接受或拒绝判断的模型。两人基于克莱尼、迈希尔等人的工作，研究有限状态机器能够描述哪些集合，以及相关问题能否由算法判定。这项共同工作后来获得1976年图灵奖的认可。
论文中的非确定自动机，在一个状态读到符号时可以有多个后继选择，只要存在一条最终进入接受状态的路径，就接受输入。它不是按概率抽一条路径来猜答案。两人证明，可以用记录“当前所有可能状态”的集合来构造等价的确定自动机。因此，非确定性可以让描述更简洁，却不扩大这里可识别语言的范围。
随机化不是放弃正确性分析
拉宾后来推动的随机化算法，则真正使用随机选择。其研究涉及素性测试，也就是判断整数是否为素数。与求出一个数的所有素因子相比，这是不同任务；在密码系统中，生成合适素数与分解公开合数的困难程度，也扮演不同角色。
Miller–Rabin 测试说明，算法可以快速寻找证明合数的证据，却在未找到证据时保留可分析的错误可能。随机算法的可靠性不能用“碰运气”概括：必须说明误差发生在哪一种输出、随机选择遵循什么分布，以及独立重复如何降低误判风险。概率结论并不意味着每一次运行都给出了确定的素数证明。
从字符串到密码协议
拉宾还共同开发了 Rabin–Karp 字符串搜索算法，并把随机化思想用于密码和分布式计算研究。英国皇家学会的介绍亦记录了他在超加密与零知识证明方向的工作。这些成果处理的对象各不相同：字符串匹配、数论判断、信息保密和协议验证，不能因共享“拉宾”之名而被视为同一个算法。
贯穿其研究的，是把实际计算任务转化为严格模型，再分析模型的能力和代价。1959年的非确定自动机依赖“是否存在接受路径”的定义；随机化算法讨论对随机选择的概率保证；密码系统还必须交代攻击者能力与安全假设。区分这些层次，才能理解理论成果如何支持应用，而不把有条件的保证说成无条件安全。