Rabin, Michael

Michael Ozer Rabin ( saksa  Michael Oser Rabin , heprea מִיכָאֵל עוזר רַבִּין ‎, syntynyt 1. syyskuuta 1931 , Wroclaw ) on israelilainen tietojenkäsittelytieteilijä ja monien muiden Turing Prize -palkinnon voittaja. Hänen tyttärensä Tal Rabin johtaa IBM : n kryptografia- ja yksityisyystutkimusryhmää .

Elämäkerta

Michael Rabin syntyi vuonna 1931 Proskurovin kotoisin olevalle rabbi Yisrael Avraham Rabinille Breslaussa (nykyinen Wrocław ), joka silloin kuului Preussille . Vuonna 1935 hänen perheensä muutti Palestiinaan . Vuonna 1953 hän suoritti maisterin tutkinnon Jerusalemin heprealaisesta yliopistosta . Kolme vuotta myöhemmin, vuonna 1956, hän suoritti väitöskirjansa Princetonin yliopistossa ja sai tohtorin tutkinnon .

Tällä hetkellä (syyskuussa 2008 ) Michael Rabin tekee tutkimusta tietoturvan ja opetuksen alalla Jerusalemissa ja Harvardissa . Hänellä on kunniaprofessorin arvo seuraavissa yliopistoissa: [1]

• Bordeaux'n yliopisto (1996)
• Haifan yliopisto (1996)
• Israelin avoin yliopisto (kunniajäsen, 1999)
• Ben Gurionin yliopisto (2000)
• Wroclawin yliopisto (2007)

Hänen kuuluisiin oppilaitaan kuuluu Saharon Shelah , joka on nykyään professori Jerusalemissa ja voitti Wolf Prize -palkinnon matematiikassa.

Saavutukset

Vuonna 1969 Rabin yleisti Buchin lauseen useamman kuin yhden seurausfunktion tapaukseen, mikä osoitti vastaavan toisen asteen teorian ratkeavuuden . Todistuksen aikana hän todisti pariteettipelien determinismin ( englanniksi parity games )  

Vuonna 1975 Gary Miller kehitti uuden primaalisuustestin, jota Rabin muutti vuonna 1980 . Miller-Rabin-testi  on todennäköisyyspohjainen polynomialgoritmi , joka voi erittäin tehokkaasti, mutta nollasta poikkeavalla virhetodennäköisyydellä, testata luvun ensisijaisuutta .

Neljä vuotta myöhemmin Michael Rabin kehittiensimmäisen epäsymmetrisen salausjärjestelmän , jonka murtamisen vaikeus on verrattavissa kokonaislukujen tekijöihin jakamiseen .

Vuonna 1981 Rabin keksi oblivious-siirtoprotokollan , luotettavan tiedonsiirtotekniikan ,  jossa lähettäjä ei saa vahvistusta siitä, onko viesti saapunut vastaanottajalle.

Vuonna 1987 Rabin kehitti yhdessä Richard Karpin kanssa kuuluisan algoritmin kuvion (osamerkkijonon) löytämiseksi merkkijonosta .

Palkinnot

• 1960  - Weizmann-palkinto täsmätieteistä [2]
• 1973  - Rothschild-palkinto matematiikassa [2]
• 1976  - Turing-palkinto Dana Scottin kanssa "työstä "Finite Automata and Their Decision Problem", joka esittelee ei- determinististen äärellisten automaattien käsitteen , josta on tullut epäilemättä hyödyllinen käsite. Heidän työstään on tullut jatkuva inspiraation lähde jatkotyölle tällä alalla ” [3] Epädeterministiset äärelliset automaatit ovat keskeinen käsite laskennallisessa monimutkaisuusteoriassa , jossa ne kuvaavat luokkaa NP heidän avullaan .
• 1980  - Harvey Award [2]
• 1985  - Gibbsin luento
• 1995  - Israelin valtion matematiikan palkinto
• 2000  - Charles Babbage -palkinto IEEE :ltä
• 2001  - Weizmannin muistoluennot
• 2003  - Paris Kanellakis -palkinto [1]
• 2004  - EMET Award [4]
• 2010  - Dan David -palkinto
• 2015  - Dijkstra-palkinto

Katso myös

• Rabin-Karp algoritmi
• Miller-Rabinin testi
• Rabinin sormenjälki
• Rabin-rynnäkkökivääri

Muistiinpanot

1. ↑ 1 2 Lähde . Haettu 16. syyskuuta 2008. Arkistoitu alkuperäisestä 2. lokakuuta 2008. (määrätön)
2. ↑ 1 2 3 Einstein Institute of Mathematics, Hebrew University - Tietoja instituutista: Palkinnot . Haettu 16. syyskuuta 2008. Arkistoitu alkuperäisestä 25. toukokuuta 2011. (määrätön)
3. ↑ ACM Award Citation / Michael O. Rabin Arkistoitu 18. kesäkuuta 2007 Wayback Machinessa 
4. ↑ "Rabin awarded 2004 EMET Prize" Arkistoitu 6. tammikuuta 2011 Wayback Machinessa , Harvard University Gazette , 16. joulukuuta 2004 

Linkit

•  Rabinin elämäkerta  Harvardin yliopiston verkkosivuilla
• Karp, R.M.; Rabin, MO (maaliskuu 1987). "Tehokkaat satunnaistetut kuvionsovitusalgoritmit". IBM:n tutkimus- ja kehityslehti. 31(2): 249-260.
• Harvard myöntää 10 kunniatutkintoa

Temaattiset sivustot	Matemaattinen sukututkimus Scopus zbMATH Avoinna Koko venäläinen matemaattinen portaali
Sanakirjat ja tietosanakirjat	Britannica (verkossa)
Bibliografisissa luetteloissa BNF : 150239741 ISNI : 0000 0000 7845 8063 J9U : 987007520695805171 NKC : skuk0004713 NTA : 151752370 SUDOC : 078079926 VIAF : 27345115 WorldCat VIAF : 27345115