Michael Ozer Rabin (hebrejsky מִיכָאֵל עוזר רַבִּין, ‎* 1. září 1931, Breslau) je izraelský informatik. V roce 1959 zavedl společně s Dana Scottem koncept nedeterministického konečného automatu, který se stal mimořádně důležitým konceptem především ve výpočtové složitosti. Upravil též algoritmus Garyho Millera na testování prvočíselnosti – tento test prvočíselnosti je dnes známý jako Millerův-Rabinův test prvočíselnosti (1975). Rabin je též autorem tzv. Rabinova kryptosystému (1979), asymetrické kryptografické techniky, jejíž bezpečnost závisí, podobně jako bezpečnost algoritmu RSA, na výpočtové složitosti problému rozkladu na prvočísla. V roce 1987 objevil společně s Richardem Karpem tzv. Rabinův-Karpův algoritmus, což je efektivní algoritmus na vyhledávání v textu.

Za článek z roku 1959, ve kterém byl zavedený koncept nedeterministického konečného automatu, dostal v roce 1976 společně s Danem Scottem Turingovu cenu.

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Michael Oser Rabin na slovenské Wikipedii.

Externí odkazy

• Obrázky, zvuky či videa k tématu Michael O. Rabin na Wikimedia Commons
• (anglicky) Encyclopædia Britannica – Michael Oser Rabin
• (anglicky) EMET Prize – Prof. Michael O. Rabin^{[nedostupný zdroj}
• (anglicky) Harvard School of Engineering and Applied Sciences – Michael O. Rabin
• (anglicky) The New York Times – The Key Vanishes: Scientist Outlines Unbreakable Code

Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.