Michael Oser Rabin

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Michael Oser Rabin
Michael Oser Rabin
izraelský informatik

Narodenie 1. september 1931 (83 rokov)
Vroclav, Poľsko, vtedy Nemecko

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.