Michael O. Rabin

Pochodzący z żydowskiej rodziny rabinackiej, Rabin po zakończeniu II wojny światowej ukończył Hebrew University of Jerusalem w 1953 roku, a trzy lata później uzyskał stopień doktora na Princeton University. Wspólnie z Dana Scottem, w 1959 roku opublikował przełomową pracę zatytułowaną „Finite Automata and Their Decision Problem”, która wprowadzała koncepcję maszyn niedeterministycznych. Ta idea zainspirowała następne lata badań w tej dziedzinie.

W 1975 roku Rabin opracował algorytm, który z minimalnym prawdopodobieństwem błędu potrafił ustalić, czy dana liczba jest liczbą pierwszą. Algorytm ten odegrał kluczową rolę w implementacji szyfrowania z kluczem publicznym. W 1987 roku, razem z Richardem Karpem, stworzył efektywny algorytm do wyszukiwania ciągów znaków. Obecnie jego badania koncentrują się głównie na problemach związanych z bezpieczeństwem komputerowym.

Warto również podkreślić, że 13 lipca 2007 roku otrzymał tytuł doktora honoris causa Uniwersytetu Wrocławskiego, co stanowi ukoronowanie jego osiągnięć akademickich i badawczych.