Про знаменитості
Рабін, Міхаель Озер: біографія
-
ізраїльський вчений в обасті теорії обчислювальних систем, математик, лауреат премії Тьюринга і багатьох інших премій
Біографія
Майкл Рабін народився в 1931 році сином рабина Ісраеля Аврахама Рабіна в місті Бреслау (нині Вроцлав), що належить тоді до Пруссії. У 1935 році його сім'я емігрувала до Палестини. У 1953 році він отримав титул магістра наук, закінчивши навчання в Єврейському університеті в Єрусалимі. Три роки потому, в 1956 році, захистив дисертацію в Прінстонському університеті і став доктором філософії.
В даний час (вересень 2008 року) Майкл Рабін займається дослідженнями в області комп'ютерної безопсаності і викладає в Єрусалимі та Гарварді. Має звання почесного професора в наступних вузах:
- Університет Бен-Гуріона (2000)
- Університет Бордо (1996)
- Хайфський університет (1996)
- Вроцлавський університет (2007)
- Відкритий університет Ізраїлю (почесний член, 1999)
До його знаменитим учням відноситься Саарон Шела, нині професор в Єрусалимі , лауреат премії Вольфа з математики.
Досягнення
У 1969 році Рабін узагальнив теорему Бьюхі на випадок більше однієї функції прямування, ніж показав розв'язність відповідної теорії другого порядку. У ході ведення доказ він довів детермінованість ігор на парність (англ.parity games)
У 1975 році Гарі Міллер розробив новий тест простоти, який був модифікований Рабіном в 1980 році. Тест Міллера - Рабина - імовірнісний поліноміальний алгоритм, здатний дуже ефективно, але з ненульовою ймовірністю помилки, перевірити число на простоту.
Чотири роки по тому, Майкл Рабін розробив першу асиметричну криптосистему, складність злому якої можна порівняти з проблемою факторизації цілих чисел.
У 1981 році Рабін винайшов протокол передачі даних з забуванням (англ.oblivious transfer) - надійну техніку передачі інформації, при якій відправник не одержує підтвердження того, чи дійшло повідомлення до одержувача.
У 1987 році, разом з Річардом Карпом, Рабін розробив знаменитий алгоритм пошуку зразка (підрядка) в рядку.
Нагороди
- 1976 - Премія Тюрінга спільно з Дана Скоттом «за роботу" Finite Automata and Their Decision Problem ", в якій вводиться поняття недетермінованих кінцевих автоматів, які стали безсумнівно корисною концепцією. Їх праця стала постійним джерелом натхнення для подальшої роботи в цій області »Недетермінірованние кінцеві автомати є ключовим поняттям в теорії складності обчислень, де з їх допомогою описується клас NP.
- 1995 - Державна премія Ізраїлю з математики
- 2000 - Премія Чарльза Беббідж від IEEE
- 1960 - Премія Вейцмана з точних наук
- 1974 - Премія Ротшильда з математики
- 1980 - Премія Харві
- 2004 - Премія EMIT
- 2004 - Премія теорії і практики Паріса Канеллакіса (англ.Paris Kanellakis Theory and Practice Award)