图灵奖得主迈克尔·拉宾逝世：随机化算法之父与密码学巨匠

著名计算机科学家、1976年图灵奖得主迈克尔·拉宾近日去世。他是非确定性有限状态自动机的共同发明者，被誉为“随机化算法之父”。他在理论计算机科学领域的贡献极大，特别是发明的Miller-Rabin素性测试法，成为现代加密系统（如RSA）的基石。此外，他提出的Rabin-Karp算法和茫然传输协议，对数据搜索、隐私计算及分布式系统产生了深远影响，其理论成果深深植根于当今的AI计算、芯片安全及自动驾驶技术之中。