|
|
(8 промежуточных версий не показаны.) |
Строка 1: |
Строка 1: |
- | {{Другие значения|тип=имя|Майкл Рабин}}
| + | #REDIRECT [[Рабин, Михаэль Ошер]] |
- | {{Учёный
| + | [[Категория:Персоналии по алфавиту]] |
- | | Имя = Рабин, Михаэль Озер
| + | |
- | | Оригинал имени = Michael Oser Rabin
| + | |
- | | Фото = Replace this image male.svg
| + | |
- | | Ширина =
| + | |
- | | Подпись =
| + | |
- | | Дата рождения = 1931
| + | |
- | | Дата смерти =
| + | |
- | | Место рождения = [[Вроцлав]], [[Пруссия]]
| + | |
- | | Место смерти =
| + | |
- | | Гражданство = Израиль
| + | |
- | | Научная сфера = [[Информатика]]
| + | |
- | | Место работы = [[Гарвардский университет]]
| + | |
- | | Альма-матер = [[Еврейский университет в Иерусалиме]],<br />[[Принстонский университет]]
| + | |
- | | Научный руководитель =
| + | |
- | | Знаменитые ученики = [[Шела, Саарон|Саарон Шела]]
| + | |
- | | Известен как = [[Алгоритм Рабина — Карпа]], <br /> [[Тест Миллера — Рабина]]
| + | |
- | | Награды и премии = [[Премия Тьюринга]]
| + | |
- | | Сайт =
| + | |
- | }}
| + | |
- | '''Михаэль Озер Рабин''' ({{lang-de|Michael Oser Rabin}}, {{lang-he|מִיכָאֵל אֹשֶׁר רַבִּין}}, [[1931]] год, [[Вроцлав]], [[Пруссия]]) — [[израиль]]ский учёный в обасти теории вычислительных систем, математик, лауреат [[Премия Тьюринга|премии Тьюринга]] и многих других премий. Его дочь, Таль Рабин, руководит научной группой ''Cryptography and Privacy Research Group'' в компании [[IBM]].
| + | |
- | | + | |
- | == Биография ==
| + | |
- | Майкл Рабин родился в [[1931]] году сыном [[раввин]]а в городе Бреслау (ныне [[Вроцлав]]), принадлежащему тогда к [[Пруссия|Пруссии]]. В [[1935]] году его семья эмигрировала в [[Палестина|Палестину]]. В [[1953]] году он получил титул [[магистр наук|магистра наук]], закончив учёбу в [[Еврейский университет в Иерусалиме|Еврейском университете]] в [[Иерусалим]]е. Три года спустя, в [[1956]], защитил диссертацию в [[Принстонский университет|Принстонском университете]] и стал [[Доктор философии|доктором философии]].
| + | |
- | | + | |
- | В настоящее время (сентябрь 2008 года) Майкл Рабин занимается исследованиями в области компьютерной безопсаности и преподаёт в [[Еврейский университет в Иерусалиме|Иерусалиме]] и [[Гарвардский университет|Гарварде]]. Имеет звания почётного профессора в следующих вузах:<ref name="cv">http://people.seas.harvard.edu/~rabin/morpub.pdf</ref>
| + | |
- | * [[Университет Бордо]] (1996)
| + | |
- | * [[Хайфский университет]] (1996)
| + | |
- | * [[Открытый университет Израиля]] (почётный член, 1999)
| + | |
- | * [[Университет Бен-Гуриона]] (2000)
| + | |
- | * [[Вроцлавский университет]] (2007)
| + | |
- | | + | |
- | К его знаменитым ученикам относится [[Шела, Саарон|Саарон Шела]], ныне профессор в Иерусалиме, лауреат [[Премия Вольфа|премии Вольфа]] по математике.
| + | |
- | | + | |
- | == Достижения ==
| + | |
- | В [[1969]] году Рабин обобщил [[теорема Бьюхи|теорему Бьюхи]] на случай более одной функции следования, чем показал [[разрешимость]] соответствующей [[Теория второго порядка|теории второго порядка]]. В ходе ведения доказательства он доказал [[детерминированность]] игр на чётность ({{lang-en|parity games}})
| + | |
- | | + | |
- | В [[1975]] [[Гари Миллер]] разработал новый тест простоты, который был модифицирован Рабином в 1980 году. [[Тест Миллера — Рабина]] — [[Класс BPP|вероятностный полиномиальный]] алгоритм, способный очень эффективно, но с ненулевой вероятностью ошибки, [[Тест простоты|проверить число на простоту]].
| + | |
- | | + | |
- | Четыре года спустя, Майкл Рабин разработал первую [[Криптосистема с открытым ключом|асимметричную криптосистему]], сложность взлома которой сравнима с проблемой [[Факторизация|факторизации]] целых чисел.
| + | |
- | | + | |
- | В [[1981]] году Рабин изобрёл протокол [[передача с забыванием|передачи данных с забыванием]] ({{lang-en|oblivious transfer}}) — надёжную технику передачи информации, при которой отправитель не получает подтверждения того, дошло ли сообщение до получателя.
| + | |
- | | + | |
- | В [[1987]] году, вместе с [[Карп, Ричард|Ричардом Карпом]], Рабин разработал знаменитый [[Алгоритм Рабина — Карпа|алгоритм поиска образца (подстроки) в строке]].
| + | |
- | | + | |
- | == Награды ==
| + | |
- | * [[1960]] — [[Премия Вейцмана]] по точным наукам<ref name="ei">http://www.ma.huji.ac.il/info/prize.html</ref>
| + | |
- | * [[1974]] — [[Премия Ротшильда]] по математике<ref name="ei"/>
| + | |
- | * [[1976]] — [[Премия Тьюринга]] совместно с [[Скотт, Дана Стюарт|Дана Скоттом]] «за работу „Finite Automata and Their Decision Problem“, в которой вводится понятие недетерминированных [[Конечный автомат|конечных автоматов]], ставших несомненно полезной концепцией. Их труд стал постоянным источником вдохновения для дальнейшей работы в этой области»<ref>http://awards.acm.org/citation.cfm?id=9681074&srt=alpha&alpha=R&aw=140&ao=AMTURING {{ref-en}}</ref> Недетерминированные конечные автоматы являются ключевым понятием в [[Теория сложности вычислений|теории сложности вычислений]], где с их помощью описывается [[класс NP]].
| + | |
- | * [[1980]] — [[Премия Харви]]<ref name="ei"/>
| + | |
- | * [[1995]] — [[Государственная премия Израиля]] по математике
| + | |
- | * [[2000]] — [[Премия Чарльза Беббиджа]] от [[IEEE]]
| + | |
- | * [[2004]] — [[Премия EMIT]]<ref>[http://www.hno.harvard.edu/gazette/2004/12.16/06-rabin.html «Rabin awarded 2004 EMET Prize»], [[Harvard University Gazette]], [[16 декабря]] [[2004]] года{{ref-en}}</ref>
| + | |
- | * [[2004]] — [[Премия теории и практики Париса Канеллакиса]] ({{lang-en|Paris Kanellakis Theory and Practice Award}})<ref name="cv"/>
| + | |
- | | + | |
- | == Литература ==
| + | |
- | == См. также ==
| + | |
- | * [[Алгоритм Рабина — Карпа]]
| + | |
- | * [[Тест Миллера — Рабина]]
| + | |
- | * [[Отпечаток пальца Рабина]]
| + | |
- | * [[Автомат Рабина]]
| + | |
- | | + | |
- | == Ссылки ==
| + | |
- | * [http://www.seas.harvard.edu/directory/professionalbio/index.html?id=2542u Биография Рабина на сайте Гарвардского университета] {{ref-en}}
| + | |
- | | + | |
- | == Примечания ==
| + | |
- | {{примечания}}
| + | |
- | {{Премия Тьюринга}}
| + | |
- | | + | |
- | [[Категория:Выпускники Еврейского университета в Иерусалиме]]
| + | |
- | [[Категория:Учёные в области теории вычислительных систем]]
| + | |
- | [[Категория:Родившиеся во Вроцлаве]]
| + | |
- | [[Категория:Члены и члены-корреспонденты Национальной академии наук США]]
| + | |
- | [[Категория:Математики Израиля]]
| + | |
- | [[Категория:Лауреаты Государственной премии Израиля]]
| + | |
- | [[Категория:Лауреаты премии Вольфа (математика)]]
| + | |
- | [[Категория:Лауреаты премии Харви]]
| + | |
- | [[Категория:Криптографы]]
| + | |
- | [[Категория:Логики]]
| + | |
- | [[Категория:Ныне живущие]]
| + | |
- | | + | |
- | [[de:Michael O. Rabin (Informatiker)]]
| + | |
- | [[en:Michael O. Rabin]]
| + | |
- | [[es:Michael Oser Rabin (científico de la computación)]]
| + | |
- | [[fr:Michael Rabin]]
| + | |
- | [[he:מיכאל רבין]]
| + | |
- | [[id:Michael O. Rabin]]
| + | |
- | [[ja:マイケル・ラビン]]
| + | |
- | [[ko:마이클 라빈]]
| + | |
- | [[nl:Michael Rabin]]
| + | |
- | [[pl:Michael O. Rabin]]
| + | |
- | [[pt:Michael Rabin]]
| + | |
- | [[ro:Michael Rabin]]
| + | |
- | [[sk:Michael Oser Rabin]]
| + | |
- | [[sr:Мајкл О. Рабин]]
| + | |
- | [[zh:迈克尔·拉宾]]
| + | |
- | | + | |
- | {{WikiCopyRight}}
| + | |