Rabin, Michael

Michael Ozer Rabin
Michael Oser Rabin
Fødselsdato 1. september 1931 (91 år)( 1931-09-01 )
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 .

Biografi

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.

Præstationer

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 .

Priser

Se også

Noter

  1. 1 2 Kilde . Hentet 16. september 2008. Arkiveret fra originalen 2. oktober 2008.
  2. 1 2 3 Einstein Institute of Mathematics, The Hebrew University - Om Instituttet: Priser . Hentet 16. september 2008. Arkiveret fra originalen 25. maj 2011.
  3. ACM Award Citation / Michael O. Rabin Arkiveret 18. juni 2007 på Wayback Machine 
  4. "Rabin awarded 2004 EMET Prize" Arkiveret 6. januar 2011 på Wayback Machine , Harvard University Gazette , 16. december 2004 

Links