Поделиться:

О знаменитости

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


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

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

Биография

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

Комментарии

Добавить комментарий
Комментарий
Отправить

Вернадский Владимир Иванович Вернадский Владимир Иванович

русский ученый, создатель науки «биогеохимия»

Борис Исаакович Ярхо Борис Исаакович Ярхо

русский филолог-медиевист, фольклорист, теоретик и историк литературы, стиховед

Эндрю Яо Цичжи Эндрю Яо Цичжи

учёный в области теории вычислительных систем, профессор университета Цинхуа в Пекине

Ивар Якобсон Ивар Якобсон

шведский ученый, внесший огромный вклад в развитие UML, RUP, Аспектно-ориентированного программирования

Василий Иванович Яворский Василий Иванович Яворский

российский советский учёный в области угольных месторождений и палеонтологии, геолог, доктор геолого-минералогических наук, профессор

Юлиан Андреевич Яворский Юлиан Андреевич Яворский

галицкий литературовед, фольклорист, историк и поэт, общественный деятель москвофильской ориентации

Дмитрий Иванович Яворницкий Дмитрий Иванович Яворницкий

российский и украинский историк, археолог, этнограф, фольклорист, лексикограф, писатель, академик АН УССР

Явербаум Павел Моиссевич Явербаум Павел Моиссевич

профессор кафедры биохимии Иркутского государственного медицинского университета, доктор медицинских наук

«Россети» дали старт цифровой трансформации в компании и запустили новую подстанцию

«Россети» дали старт цифровой трансформации в компании и запустили новую подстанцию

Liberty Group – первый бизнес Ильи Шувалова

Liberty Group – первый бизнес Ильи Шувалова

Путь Дмитрия Юрченко: биография без прикрас

Путь Дмитрия Юрченко: биография без прикрас