Rabin, Michael

Michael Ozer Rabin ( németül  Michael Oser Rabin , héberül מִיכָאֵל עוזר רַבִּין , született 1931. szeptember 1-jén , Wroclaw ) izraeli informatikus, számos más Turing Prize- díjas matematikus. Lánya, Tal Rabin az IBM kriptográfiai és adatvédelmi kutatócsoportját vezeti .

Életrajz

Michael Rabin 1931 -ben született Proskurov szülötteként , rabbi Yisrael Avraham Rabin gyermekeként Breslauban (ma Wrocław ), amely akkor Poroszországhoz tartozott . 1935- ben családja Palesztinába emigrált . 1953 - ban a jeruzsálemi Héber Egyetemen szerzett Master of Science fokozatot . Három évvel később, 1956-ban fejezte be disszertációját a Princetoni Egyetemen , és Ph.D fokozatot kapott .

Jelenleg ( 2008. szeptember ) Michael Rabin a számítógépes biztonság és a tanítás területén végez kutatásokat Jeruzsálemben és a Harvardon . A következő egyetemeken rendelkezik címzetes professzori címmel: [1]

• Bordeaux-i Egyetem (1996)
• Haifa Egyetem (1996)
• Izraeli Nyílt Egyetem (tiszteletbeli tag, 1999)
• Ben Gurion Egyetem (2000)
• Wroclawi Egyetem (2007)

Híres tanítványai közé tartozik Saharon Shelah , aki jelenleg Jeruzsálemben professzor, a Wolf-díj matematikai díjazottja.

Eredmények

1969 -ben Rabin általánosította Buchi tételét egynél több következményfüggvény esetére, megmutatva ezzel a megfelelő másodrendű elmélet eldönthetőségét . A bizonyítás során bebizonyította a paritásos játékok determinizmusát ( angol parity games )  

1975- ben Gary Miller kifejlesztett egy új elsődlegességi tesztet, amelyet Rabin 1980 -ban módosított . A Miller-Rabin teszt  egy valószínűségi polinomiális algoritmus, amely nagyon hatékonyan, de nem nulla hibavalószínűséggel tud egy szám elsődlegességét tesztelni .

Négy évvel később Michael Rabin kifejlesztette az első aszimmetrikus titkosítási rendszert , amelynek feltörésének nehézsége az egész számok faktorizációs problémájához hasonlítható .

1981 -ben Rabin feltalálta az Oblivious Transfer Protocolt , egy megbízható információátviteli  technikát, amelyben a feladó nem kap visszaigazolást arról, hogy az üzenet eljut-e a címzetthez.

1987 - ben Richard Karppal együtt Rabin kifejlesztette a híres algoritmust egy karakterláncban lévő minta (alkarakterlánc) megtalálására .

Díjak

• 1960  – Weizmann-díj az egzakt tudományokért 2]
• 1973  – Rothschild-díj matematikában [2]
• 1976  – Turing-díj Dana Scott - tal a „Véges automaták és döntéseik problémája” című munkáért, amely bevezeti a nem- determinisztikus véges automaták fogalmát , amely kétségtelenül hasznos fogalommá vált. Munkájuk állandó ihletforrássá vált az ezen a területen végzett további munkákhoz.” [3] A nem-determinisztikus véges automaták kulcsfogalmak a számítási komplexitáselméletben , ahol segítségükkel írják le az NP osztályt .
• 1980  – Harvey-díj [2]
• 1985  - Gibbs előadás
• 1995  – Izraeli Állami Matematikai Díj
• 2000  – Charles Babbage-díj az IEEE -től
• 2001  – Weizmann-emlékelőadások
• 2003  – Paris Kanellakis-díj [1]
• 2004  – EMET-díj [4]
• 2010  – Dan David-díj
• 2015  - Dijkstra-díj

Lásd még

• Rabin-Karp algoritmus
• Miller-Rabin teszt
• Rabin ujjlenyomata
• Rabin rohampuska

Jegyzetek

1. ↑ 1 2 Forrás . Letöltve: 2008. szeptember 16. Az eredetiből archiválva : 2008. október 2.. (határozatlan)
2. ↑ 1 2 3 Einstein Matematikai Intézet, Héber Egyetem - Az Intézetről: Díjak . Letöltve: 2008. szeptember 16. Az eredetiből archiválva : 2011. május 25. (határozatlan)
3. ↑ ACM Award Citation / Michael O. Rabin Archiválva : 2007. június 18. a Wayback Machine -nél 
4. ↑ "Rabin awarded 2004 EMET Prize" archiválva : 2011. január 6. a Wayback Machine -ben, Harvard University Gazette , 2004. december 16 . 

Linkek

•  Rabin  életrajza a Harvard Egyetem honlapján
• Karp, R. M.; Rabin, MO (1987. március). "Hatékony véletlenszerű mintaillesztő algoritmusok". IBM Journal of Research and Development. 31(2): 249-260.
• A Harvard 10 tiszteletbeli oklevelet adományoz

Tematikus oldalak	Matematikai genealógia Scopus zbMATH Nyitva Össz-orosz matematikai portál
Szótárak és enciklopédiák	Britannica (online)
Bibliográfiai katalógusokban BNF : 150239741 ISNI : 0000 0000 7845 8063 J9U : 987007520695805171 NKC : skuk0004713 NTA : 151752370 SUDOC : 078079926 VIAF : 27345115 WorldCat VIAF : 27345115