Dr. Michael O. Rabin (* 1931 in Breslau) ist ein Informatiker. Er hat sich besonders im Bereich der Kryptologie in Zusammenhang mit Primzahlen und im Bereich Automatentheorie verdient gemacht.
Rabins Vater war Rabbi. Die Familie emigrierte 1935 nach Palästina. Rabin studierte in Jerusalem und promovierte in Princeton.
Rabin wurde gemeinsam mit Dana Scott 1976 mit dem Turing-Preis für Informatik wegen ihrer Einführung des Nichtdeterminismus in Finite Automata and Their Decision Problem (1959) ausgezeichnet.
Aufbauend auf einem Verfahren Gary Millers entwickelte er 1975 den Miller-Rabin-Algorithmus.
Von Rabin stammt das Rabin-Kryptosystem.
Rabin lieferte 2001 zusammen mit Yan Zong Bing ein absolut sicheres und zugleich praktikabeles Verfahren zur Datenübertragung.