Michael Oser Rabin

Michael Oser Rabin (* 1. september 1931, Vroclav, Poľsko, vtedy Nemecko) je izraelský informatik. 

Spoločne s Danom Scottom v roku 1959 zaviedol koncept nedeterministického konečného automatu, ktorý sa stal mimoriadne dôležitým konceptom najmä vo výpočtovej zložitosti. Upravil tiež algoritmus Garyho Millera na testovanie prvočíselnosti - tento test prvočíselnosti je dnes známy ako Millerov-Rabinov test prvočíselnosti (1975). Rabin je tiež autorom tzv. Rabinovho kryptosystému (1979), asymetrickej kryptografickej techniky, ktorej bezpečnosť závisí, podobne ako bezpečnosť algoritmu RSA, na výpočtovej zložitosti problému rozkladu na prvočísla. V roku 1987 spolu s Richardom Karpom objavil tzv. Rabinov-Karpov algoritmus, jeden z najznámejších efektívnych algoritmov na vyhľadávanie v texte.

Za článok z roku 1959, v ktorom bol zavedený koncept nedeterministického konečného automatu, dostal v roku 1976, spolu s Danom Scottom, Turingovu cenu.

Držitelia Turingovej ceny
Izraelskí informatici
Izraelskí matematici
Izraelskí logici
Informatici USA
Matematici USA
Logici USA
Matematici židovského pôvodu
Informatici židovského pôvodu
Logici židovského pôvodu
Osobnosti USA židovského pôvodu
Členovia United States National Academy of Sciences
Členovia American Philosophical Society
Osobnosti z Vroclavu