Рабин, Михаэль Ошер

В Википедии есть статьи о других людях с именем Майкл Рабин.

Рабин, Михаэль Ошер
Michael Oser Rabin
Дата рождения:	1 сентября 1931(1931-09-01) (81 год)
Место рождения:	Вроцлав, Пруссия
Страна:	Израиль
Научная сфера:	Информатика
Место работы:	Гарвардский университет
Альма-матер:	Еврейский университет в Иерусалиме, Принстонский университет
Известные ученики:	Саарон Шела
Известен как:	Алгоритм Рабина — Карпа, Тест Миллера — Рабина
Награды и премии	Премия Тьюринга

Михаэль Ошер Рабин (нем. Michael Oser Rabin, ивр. מִיכָאֵל אֹשֶׁר רַבִּין‎, родился 1 сентября 1931 года, Вроцлав) — израильский учёный в области теории вычислительных систем, математик, лауреат премии Тьюринга и многих других премий. Его дочь, Таль Рабин, руководит научной группой Cryptography and Privacy Research Group в компании IBM.

Биография

Михаэль Рабин родился в 1931 году сыном раввина Исраэля Аврахама Рабина в городе Бреслау (ныне Вроцлав), принадлежащему тогда к Пруссии. В 1935 году его семья эмигрировала в Палестину. В 1953 году он получил титул магистра наук, закончив учёбу в Еврейском университете в Иерусалиме. Три года спустя, в 1956 году, защитил диссертацию в Принстонском университете и стал доктором философии.

В настоящее время (сентябрь 2008 года) Майкл Рабин занимается исследованиями в области компьютерной безопасности и преподаёт в Иерусалиме и Гарварде. Имеет звания почётного профессора в следующих вузах:^[1]

• Университет Бордо (1996)
• Хайфский университет (1996)
• Открытый университет Израиля (почётный член, 1999)
• Университет Бен-Гуриона (2000)
• Вроцлавский университет (2007)

К его знаменитым ученикам относится Саарон Шела, ныне профессор в Иерусалиме, лауреат премии Вольфа по математике.

Достижения

В 1969 году Рабин обобщил теорему Бьюхи на случай более одной функции следования, чем показал разрешимость соответствующей теории второго порядка. В ходе ведения доказательства он доказал детерминированность игр на чётность (англ. parity games)

В 1975 году Гари Миллер разработал новый тест простоты, который был модифицирован Рабином в 1980 году. Тест Миллера — Рабина — вероятностный полиномиальный алгоритм, способный очень эффективно, но с ненулевой вероятностью ошибки, проверить число на простоту.

Четыре года спустя, Майкл Рабин разработал первую асимметричную криптосистему, сложность взлома которой сравнима с проблемой факторизации целых чисел.

В 1981 году Рабин изобрёл протокол передачи данных с забыванием (англ. oblivious transfer) — надёжную технику передачи информации, при которой отправитель не получает подтверждения того, дошло ли сообщение до получателя.

В 1987 году, вместе с Ричардом Карпом, Рабин разработал знаменитый алгоритм поиска образца (подстроки) в строке.

Награды

• 1960 — Премия Вейцмана по точным наукам^[2]
• 1974 — Премия Ротшильда по математике^[2]
• 1976 — Премия Тьюринга совместно с Дана Скоттом «за работу „Finite Automata and Their Decision Problem“, в которой вводится понятие недетерминированных конечных автоматов, ставших несомненно полезной концепцией. Их труд стал постоянным источником вдохновения для дальнейшей работы в этой области»^[3] Недетерминированные конечные автоматы являются ключевым понятием в теории сложности вычислений, где с их помощью описывается класс NP.
• 1980 — Премия Харви^[2]
• 1995 — Государственная премия Израиля по математике
• 2000 — Премия Чарльза Беббиджа от IEEE
• 2004 — Премия EMIT^[4]
• 2004 — Премия теории и практики Париса Канеллакиса (англ. Paris Kanellakis Theory and Practice Award)^[1]

Литература

См. также

• Алгоритм Рабина — Карпа
• Тест Миллера — Рабина
• Отпечаток пальца Рабина
• Автомат Рабина

Ссылки

• Биография Рабина на сайте Гарвардского университета  (англ.)

Примечания

1. ↑ ^{1 2} http://people.seas.harvard.edu/~rabin/morpub.pdf
2. ↑ ^{1 2 3} Einstein Institute of Mathematics, The Hebrew University — About the Institute: Prizes
3. ↑ ACM Award Citation / Michael O. Rabin  (англ.)
4. ↑ «Rabin awarded 2004 EMET Prize», Harvard University Gazette, 16 декабря 2004 года (англ.)