Rabin, Michael

Michael Ozer Rabin ( germană  Michael Oser Rabin , ebraică מִיכָאֵל עוזר רַבִּין ‏‎, născut la 1 septembrie 1931 , Wroclaw ) este un informatician, matematician, laureat și mulți alți premiați israelian . Fiica sa, Tal Rabin, conduce Grupul de cercetare privind criptografia și confidențialitatea de la IBM .

Biografie

Michael Rabin s-a născut în 1931 dintr-un originar din Proskurov , rabinul Yisrael Avraham Rabin, în Breslau (acum Wrocław ), care aparținea atunci Prusiei . În 1935 familia sa a emigrat în Palestina . În 1953 a primit diploma de Master de la Universitatea Ebraică din Ierusalim . Trei ani mai târziu, în 1956, și-a terminat disertația la Universitatea Princeton și a primit un doctorat.

În prezent (septembrie 2008 ) Michael Rabin efectuează cercetări în domeniul securității computerelor și predare în Ierusalim și Harvard . Are titlul de profesor onorific în următoarele universități: [1]

• Universitatea din Bordeaux (1996)
• Universitatea Haifa (1996)
• Universitatea Deschisă din Israel (membru de onoare, 1999)
• Universitatea Ben Gurion (2000)
• Universitatea din Wroclaw (2007)

Printre studenții săi celebri se numără Saharon Shelah , acum profesor la Ierusalim, câștigător al Premiului Wolf la matematică.

Realizări

În 1969, Rabin a generalizat teorema lui Buchi în cazul mai multor funcții de consecință, arătând astfel decidabilitatea teoriei de ordinul doi corespunzătoare . În cursul dovezii, el a demonstrat determinismul jocurilor pentru paritate (în engleză  parity games )

În 1975 , Gary Miller a dezvoltat un nou test de primalitate care a fost modificat de Rabin în 1980 . Testul Miller-Rabin  este un algoritm polinom probabilistic care poate testa în mod foarte eficient, dar cu o probabilitate de eroare diferită de zero, un număr pentru prim .

Patru ani mai târziu, Michael Rabin a dezvoltat primul criptosistem asimetric , dificultatea de rupere care este comparabilă cu problema factorizării întregi .

În 1981, Rabin a inventat protocolul de transfer neglijent , o tehnică fiabilă de transfer de informații  în care expeditorul nu primește confirmarea dacă mesajul a ajuns la destinatar.

În 1987 , împreună cu Richard Karp , Rabin a dezvoltat faimosul algoritm pentru găsirea unui model (subșir) într-un șir .

Premii

• 1960  - Premiul Weizmann pentru științe exacte [2]
• 1973  - Premiul Rothschild la matematică [2]
• 1976  - Premiul Turing cu Dana Scott „pentru lucrarea „Finite Automata and Their Decision Problem”, care introduce conceptul de automată finită nedeterministă , care a devenit un concept fără îndoială util. Munca lor a devenit o sursă constantă de inspirație pentru lucrări ulterioare în acest domeniu ” [3] Automatele finite nedeterministe sunt un concept cheie în teoria complexității computaționale , unde descriu clasa NP cu ajutorul lor .
• 1980  - Premiul Harvey [2]
• 1985  - Gibbs Lectură
• 1995  - Premiul de Stat Israelian pentru Matematică
• 2000  - Premiul Charles Babbage de la IEEE
• 2001  - Prelegeri Memoriale Weizmann
• 2003  - Premiul Paris Kanellakis [1]
• 2004  - Premiul EMET [4]
• 2010  - Premiul Dan David
• 2015  - Premiul Dijkstra

Vezi și

• Algoritmul Rabin-Karp
• Testul Miller-Rabin
• Amprenta lui Rabin
• pușcă de asalt Rabin

Note

1. ↑ 1 2 Sursa . Consultat la 16 septembrie 2008. Arhivat din original pe 2 octombrie 2008. (nedefinit)
2. ↑ 1 2 3 Institutul Einstein de Matematică, Universitatea Ebraică - Despre Institut: Premii . Consultat la 16 septembrie 2008. Arhivat din original la 25 mai 2011. (nedefinit)
3. ↑ ACM Award Citation / Michael O. Rabin Arhivat 18 iunie 2007 la Wayback Machine 
4. ↑ „Rabin awarded 2004 EMET Prize” Arhivat 6 ianuarie 2011 la Wayback Machine , Harvard University Gazette , 16 decembrie 2004 

Link -uri

•  Biografia lui Rabin pe site  - ul Universității Harvard
• Karp, R.M.; Rabin, MO (martie 1987). „Algoritmi eficienți de potrivire a modelelor randomizate”. Jurnalul IBM de Cercetare și Dezvoltare. 31(2): 249-260.
• Harvard acordă 10 diplome onorifice

Site-uri tematice	Genealogie matematică Scopus zbMATH Deschide Portal de matematică integral rusesc
Dicționare și enciclopedii	Britannica (online)
În cataloagele bibliografice BNF : 150239741 ISNI : 0000 0000 7845 8063 J9U : 987007520695805171 NKC : skuk0004713 NTA : 151752370 SUDOC : 078079926 VIAF : 27345115 WorldCat VIAF : 27345115