Michael Ozer Rabin | |
---|---|
Michael Oser Rabin | |
Fødselsdato | 1. september 1931 (91 år) |
Fødselssted | Wroclaw , Preussen |
Land | Israel |
Videnskabelig sfære | datalogi , matematik |
Arbejdsplads | Harvard Universitet |
Alma Mater |
Hebrew University of Jerusalem , Princeton University |
videnskabelig rådgiver | En kirke |
Studerende | Saharon Shela |
Kendt som |
Rabin-Karp algoritme , Miller-Rabin test |
Præmier og præmier | Turing-prisen |
Mediefiler på Wikimedia Commons |
Michael Ozer Rabin ( tysk Michael Oser Rabin , hebraisk מִיכָאֵל עוזר רַבִּין , født 1. september 1931 , Wroclaw ) er en israelsk datalog, matematiker, vinder af Turing-prisen og mange andre priser. Hans datter, Tal Rabin, leder Cryptography and Privacy Research Group hos IBM .
Michael Rabin blev født i 1931 af en indfødt i Proskurov , rabbiner Yisrael Avraham Rabin, i Breslau (nu Wrocław ), som dengang tilhørte Preussen . I 1935 emigrerede hans familie til Palæstina . I 1953 modtog han sin kandidatgrad fra det hebraiske universitet i Jerusalem . Tre år senere, i 1956, afsluttede han sin afhandling ved Princeton University og fik en ph.d.
I øjeblikket (september 2008 ) forsker Michael Rabin inden for computersikkerhed og undervisning i Jerusalem og Harvard . Han har titel af æresprofessor ved følgende universiteter: [1]
Hans berømte elever omfatter Saharon Shelah , nu professor i Jerusalem, vinder af Ulveprisen i matematik.
I 1969 generaliserede Rabin Buchis sætning til tilfældet med mere end én konsekvensfunktion og viste derved afgøreligheden af den tilsvarende andenordensteori . I løbet af beviset beviste han determinismen af spil for paritet ( engelsk parity games )
I 1975 udviklede Gary Miller en ny primalitetstest, som blev modificeret af Rabin i 1980 . Miller-Rabin-testen er en probabilistisk polynomiel algoritme, der meget effektivt, men med en fejlsandsynlighed, der ikke er nul, kan teste et tal for primeness .
Fire år senere udviklede Michael Rabin det første asymmetriske kryptosystem , vanskeligheden ved at bryde, som kan sammenlignes med heltalsfaktoriseringsproblemet .
I 1981 opfandt Rabin den oblivious transfer protocol , en pålidelig informationsoverførselsteknik , hvor afsenderen ikke modtager bekræftelse på, om beskeden er nået frem til modtageren.
I 1987 udviklede Rabin sammen med Richard Karp den berømte algoritme til at finde et mønster (understreng) i en streng .
Tematiske steder | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
|
Turing prisvindere | |
---|---|
|
af Kanellakis-prisen | Vindere|
---|---|
|