Рабин, Михаэль Ошер
Вы находитесь на сайте "Архив статей из ЭЕЭ и статей на еврейские темы из Википедии"
(Новая страница: «{{О_статье| ТИП СТАТЬИ = 4 | АВТОР1 = | АВТОР2 = | АВТОР3 = | СУПЕРВАЙЗЕР = | ПРОЕКТ = | ПОДТЕМА = | К…») |
(→Примечания) |
||
| Строка 81: | Строка 81: | ||
{{примечания}} | {{примечания}} | ||
{{Премия Тьюринга}} | {{Премия Тьюринга}} | ||
| - | |||
| - | |||
| - | |||
[[Категория:Члены и члены-корреспонденты Национальной академии наук США]] | [[Категория:Члены и члены-корреспонденты Национальной академии наук США]] | ||
| Строка 89: | Строка 86: | ||
[[Категория:Лауреаты Государственной премии Израиля]] | [[Категория:Лауреаты Государственной премии Израиля]] | ||
| - | + | {{WikiCopyRight}} | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
Текущая версия на 08:34, 26 апреля 2012
| Текст унаследован из Википедии | |
| Рабин, Михаэль Ошер | |
| Michael Oser Rabin | |
| Файл:Michael O. Rabin.jpg | |
| Дата рождения: |
1 сентября 1931 (93 года) |
|---|---|
| Место рождения: | |
| Страна: | |
| Научная сфера: |
Информатика |
| Место работы: |
Гарвардский университет |
| Альма-матер: |
Еврейский университет в Иерусалиме, |
| Знаменитые ученики: | |
| Известен как: |
Алгоритм Рабина — Карпа, |
| Награды и премии |
|
Михаэль Ошер Рабин (нем. 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,0 1,1 http://people.seas.harvard.edu/~rabin/morpub.pdf
- ↑ 2,0 2,1 2,2 Einstein Institute of Mathematics, The Hebrew University — About the Institute: Prizes
- ↑ ACM Award Citation / Michael O. Rabin (англ.)
- ↑ «Rabin awarded 2004 EMET Prize», Harvard University Gazette, 16 декабря 2004 года(англ.)
Уведомление: Предварительной основой данной статьи была аналогичная статья в http://ru.wikipedia.org, на условиях CC-BY-SA, http://creativecommons.org/licenses/by-sa/3.0, которая в дальнейшем изменялась, исправлялась и редактировалась.
