Наши проекты:

Про знаменитості

Рабін, Міхаель Озер: біографія


Рабін, Міхаель Озер біографія, фото, розповіді - ізраїльський вчений в обасті теорії обчислювальних систем, математик, лауреат премії Тьюринга і багатьох інших премій
-

ізраїльський вчений в обасті теорії обчислювальних систем, математик, лауреат премії Тьюринга і багатьох інших премій

Біографія

Майкл Рабін народився в 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)

Комментарии

Сайт: Википедия