Rabin, Michael

Michael Ozer Rabin ( tyska  Michael Oser Rabin , hebreiska מִיכָאֵל עוזר רַבִּין ‏‎, född 1 september 1931 , Wroclaw ) är en israelisk datavetare, matematiker, vinnare av Turing-priset och många andra utmärkelser. Hans dotter, Tal Rabin, leder Cryptography and Privacy Research Group på IBM .

Biografi

Michael Rabin föddes 1931 av en infödd Proskurov , rabbinen Yisrael Avraham Rabin, i Breslau (nu Wrocław ), som då tillhörde Preussen . 1935 emigrerade hans familj till Palestina . 1953 fick han sin magisterexamen från hebreiska universitetet i Jerusalem . Tre år senare, 1956, avslutade han sin avhandling vid Princeton University och fick en doktorsexamen.

För närvarande (september 2008 ) forskar Michael Rabin inom området datorsäkerhet och undervisning i Jerusalem och Harvard . Han har titeln hedersprofessor vid följande universitet: [1]

• Universitetet i Bordeaux (1996)
• Haifa University (1996)
• Open University of Israel (hedersmedlem, 1999)
• Ben Gurion University (2000)
• Wroclaw University (2007)

Hans berömda elever inkluderar Saharon Shelah , nu professor i Jerusalem, vinnare av Wolf Prize i matematik.

Prestationer

År 1969 generaliserade Rabin Buchis sats till fallet med mer än en konsekvensfunktion, och visade därmed avgörbarheten för motsvarande andra ordningens teori . Under bevisets gång bevisade han determinismen hos spel för paritet ( engelska  parity games )

1975 utvecklade Gary Miller ett nytt primatitetstest som modifierades av Rabin 1980 . Miller-Rabin-testet  är en probabilistisk polynomalgoritm som mycket effektivt, men med en felsannolikhet som inte är noll, kan testa ett tal för primeness .

Fyra år senare utvecklade Michael Rabin det första asymmetriska kryptosystemet , svårigheten att bryta som är jämförbar med heltalsfaktoriseringsproblemet .

1981 uppfann Rabin det glömska överföringsprotokollet , en pålitlig teknik för informationsöverföring  där avsändaren inte får bekräftelse på om meddelandet har nått mottagaren.

1987 utvecklade Rabin tillsammans med Richard Karp den berömda algoritmen för att hitta ett mönster (delsträng) i en sträng .

Utmärkelser

• 1960  - Weizmannpriset för de exakta vetenskaperna [2]
• 1973  - Rothschild-priset i matematik [2]
• 1976  - Turing Award med Dana Scott "för verket "Finite Automata and Their Decision Problem", som introducerar begreppet icke- deterministiska finita automater , som har blivit ett utan tvekan användbart koncept. Deras arbete har blivit en ständig inspirationskälla för vidare arbete inom detta område ” [3] Icke-deterministiska finita automater är ett nyckelbegrepp inom beräkningskomplexitetsteorin , där de beskriver klassen NP med deras hjälp .
• 1980  - Harvey Award [2]
• 1985  - Gibbs föreläsning
• 1995  - Israelisk statspris i matematik
• 2000  - Charles Babbage Award från IEEE
• 2001  - Weizmanns minnesföreläsningar
• 2003  - Paris Kanellakis Award [1]
• 2004  - EMET Award [4]
• 2010  - Dan David Award
• 2015  - Dijkstra-priset

Se även

• Rabin-Karps algoritm
• Miller-Rabin test
• Rabins fingeravtryck
• Rabin automatgevär

Anteckningar

1. ↑ 1 2 Källa . Hämtad 16 september 2008. Arkiverad från originalet 2 oktober 2008. (obestämd)
2. ↑ 1 2 3 Einstein Institute of Mathematics, Hebrew University - Om institutet: Priser . Hämtad 16 september 2008. Arkiverad från originalet 25 maj 2011. (obestämd)
3. ↑ ACM Award Citation / Michael O. Rabin Arkiverad 18 juni 2007 på Wayback Machine 
4. ↑ "Rabin awarded 2004 EMET Prize" Arkiverad 6 januari 2011 på Wayback Machine , Harvard University Gazette , 16 december 2004 

Länkar

•  Biografi om Rabin  på webbplatsen för Harvard University
• Karp, R.M.; Rabin, MO (mars 1987). "Effektiva randomiserade mönstermatchande algoritmer". IBM Journal of Research and Development. 31(2): 249-260.
• Harvard delar ut 10 hedersgrader

Tematiska platser	Matematisk släktforskning Scopus zbMATH Öppna Helrysk matematisk portal
Ordböcker och uppslagsverk	Britannica (online)
I bibliografiska kataloger BNF : 150239741 ISNI : 0000 0000 7845 8063 J9U : 987007520695805171 NKC : skuk0004713 NTA : 151752370 SUDOC : 078079926 VIAF : 27345115 WorldCat VIAF : 27345115