Скончался профессор Михаэль Рабин, пионер компьютерных наук и лауреат премии Тьюринга
В возрасте 94 лет ушел из жизни профессор Михаэль Рабин — выдающийся ученый, заложивший основы современной информатики. Он стал первым израильтянином, удостоенным престижной премии Тьюринга за фундаментальные исследования в области теории автоматов.
В эпоху, когда понятия «искусственный интеллект», «языковая модель» и «машинное обучение» стали привычной частью реальности, легко забыть, что компьютерные науки — одна из самых молодых областей исследований. На этой неделе умолк голос одного из первопроходцев этой дисциплины. В возрасте 94 лет скончался профессор Еврейского университета в Иерусалиме Михаэль Рабин, лауреат премии Тьюринга и Премии Израиля, чьи открытия превратили компьютер из теоретической идеи в мощный инструмент современности.
Становление ученого
Михаэль Озер Рабин родился 1 сентября 1931 года в Бреслау (Германия). В 1935 году его семья репатриировалась в Эрец-Исраэль, спасаясь от нацизма. Его отец, доктор Исраэль Авраам Рабин, был раввином, а мать, доктор Эстер Эльза — общественным деятелем. Михаэль вырос в Хайфе вместе с сестрой Мирьям Бен-Перец, также ставшей лауреатом Премии Израиля.
Интерес к науке проявился у него рано, однако именно математика стала его призванием. В школьные годы он попал в кружок для одаренных детей, который вел молодой математик Элиша Нетаниягу. Война за независимость прервала его обучение: Рабин служил в артиллерии, но даже в перерывах между боями продолжал изучать теорию множеств. По рекомендации Нетаниягу он был досрочно демобилизован для продолжения академической карьеры.
В 1950 году 19-летний Рабин поступил в Еврейский университет, где сразу был зачислен на второй курс. Его наставником стал известный математик Авраам Галеви Френкель. Позже Рабин продолжил обучение в Принстонском университете под руководством Алонзо Чёрча, который ранее был научным руководителем самого Алана Тьюринга.
Автоматы и сложность вычислений
В 1959 году Рабин совместно с Даной Скоттом опубликовал фундаментальную работу, посвященную конечным автоматам. Они ввели понятие недетерминированных конечных автоматов (NFA), показав, что многие вычислительные задачи, неразрешимые для общей машины Тьюринга, становятся разрешимыми в рамках этой модели. Это исследование легло в основу теории сложности вычислений.
В 1965 году Рабин стал профессором Еврейского университета, а в 1970 году основал там кафедру компьютерных наук. В 1976 году он и Дана Скотт были удостоены премии Тьюринга — высшей награды в области информатики. Рабин стал первым израильтянином, получившим это признание.
Вклад в криптографию и распределенные системы
В последующие десятилетия Рабин внес огромный вклад в развитие вероятностных алгоритмов. Его тест Миллера — Рабина стал стандартом для проверки чисел на простоту, что легло в основу современных протоколов шифрования, включая HTTPS. Он также занимался решением задач консенсуса в распределенных сетях, включая знаменитую задачу «византийских генералов», предложив методы достижения согласия между узлами сети даже в условиях неисправностей или враждебных действий.
Наследие
Михаэль Рабин был не только великим ученым, но и выдающимся педагогом. Среди его учеников — целая плеяда ведущих исследователей. Его академическую традицию продолжила дочь, профессор Таль Рабин, эксперт по криптографии.
В последние годы жизни Рабин с интересом наблюдал за развитием машинного обучения. В интервью 2018 года он предсказал, что ИИ радикально изменит многие профессии, включая медицину, и отметил, что, будь он моложе, обязательно занялся бы именно этой областью. Михаэль Рабин был похоронен в Раанане рядом со своей супругой Рут.
