УШЁЛ ИЗ ЖИЗНИ МИХАЭЛЬ РАБИН, «КРЁСТНЫЙ ОТЕЦ» ИЗРАИЛЬСКОЙ ИНФОРМАТИКИ

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

Искусственный интеллект, языковые модели и машинное обучение сегодня стали уже почти обыденными явлениями, но легко забыть, что информатика в целом всё ещё одна из самых молодых наук. На этой неделе один из её первопроходцев в Израиле и во всем мире, профессор Михаэль Рабин из Еврейского университета в Иерусалиме, скончался в возрасте 94 лет после долгой карьеры, которая помогла превратить компьютер из абстрактной идеи в центральную силу современной жизни.

Михаэль Осер Рабин родился 1 сентября 1931 года в Бреслау (Вроцлав, ныне Польша), тогда входившем в состав Веймарской республики Германии. Его родители иммигрировали в Израиль в 1935 году, что спасло семью от участи многих европейских евреев. Отец Рабина, Израиль Авраам Рабин, был раввином и главой теологической семинарии, а мать, Эстер Эльза Рабин, — общественной деятельницей и детской писательницей. Рабин был младшим ребенком и вырос в Хайфе вместе со своей сестрой Мириам, которая впоследствии стала исследователем в области образования и лауреатом Государственной премии Израиля. Сводный брат от предыдущего брака отца стал профессором лингвистики, специализирующимся на семитских языках.

В Хайфе Михаэль учился в начальной школе для мальчиков «Нецах Израиль», которой руководил его отец. В 8 лет, прочитав научно-популярную книгу по микробиологии, он сначала мечтал стать бактериологом. Но в 11 лет он как-то столкнулся с геометрической задачей и легко её решил. Осознание того, что реальные проблемы можно решить одним лишь мышлением, привело Михаэля к математике, увлечение которой углубилось во время учебы в школе Реали в Хайфе.

Директор школы, Артур Бирам, создал группу углублённого изучения математики, в которой Рабин принимал участие. Занятия вёл молодой математик Элиша Нетаньяху, который позже стал профессором Техниона. Рабин закончил учебу в 16 лет и уже собирался поступать в университет, но вмешалась Война за независимость.

Михаэль воевал в артиллерии на южном и северном фронтах. В перерывах между боями он изучал математику, включая теорию множеств по работам Авраама Френкеля. Благодаря Нетаньяху Рабин познакомился с Френкелем, который был столь впечатлён им, что позже помог досрочно освободиться от службы, чтобы скорее продолжить учёбу.

В 1950 году, в возрасте 19 лет, Рабин поступил в Еврейский университет в Иерусалиме. В виде исключения он был принят сразу на второй курс бакалавриата и получил прямой доступ к магистратуре без формального переходного экзамена. Его исследования были сосредоточены на теории множеств и математической логике, а диссертация, выполненная под руководством Френкеля, была посвящена открытой проблеме теории колец, первоначально поставленной математиком Эмми Нётер.

Во время учёбы в Иерусалиме Рабин всё больше интересовался логикой, лежащей в основе вычислений. Он познакомился с знаменательной работой Алана Тьюринга 1936 года, в которой было определено понятие алгоритма и введена идея универсальной вычислительной машины. Эта работа сформировала у Рабина представление о том, что вычисления требуют строгой логической основы, отличной от классической математики.

Академические достижения и растущий интерес к вычислениям привели Рабина к докторантуре в Принстонском университете под руководством Алонзо Чёрча, который также был и научным руководителем Тьюринга. Их работа исследовала вычислимость задач теории групп, демонстрируя, что некоторые задачи не могут быть решены ни одним компьютером, независимо от будущих технологических достижений. С этого момента работа Рабина стала связующим звеном между математикой и информатикой.

Уже перед завершением своей докторской Рабин получил должность младшего научного сотрудника в Принстоне. В 1957 году он участвовал в летней программе лабораторий IBM, где в то время велась большая часть фундаментальных исследований по кибернетике. Позже логик Курт Гёдель пригласил его работать ассистентом в Институте перспективных исследований, одном из самых престижных исследовательских институтов мира, прославленном именами Гёделя, Эйнштейна и фон Неймана.

В 1958 году Рабин вернулся в Израиль со своей женой Рут, на которой он женился в Соединенных Штатах в 1954 году. Он присоединился к преподавательскому составу Еврейского университета, продолжая при этом работать на IBM.

В 1959 году вместе с Даной Скоттом он опубликовал основополагающую работу о конечных автоматах, введя различие между детерминированными и недетерминированными системами и доказав их эквивалентность по вычислительной мощности. Эта работа стала основополагающей для спецификации, проектирования и верификации вычислительных систем.

Рабин также внес ранний вклад в вычислительную сложность, показав, что даже среди решаемых задач существует бесконечная иерархия сложности.

Позже он работал над криптографией, и один из методов шифрования носит его имя — криптосистема Рабина.

В 1965 году, в возрасте 33 лет, Рабин был назначен профессором Еврейского университета. В 1970 году он вместе с профессором Эли Шамиром основал кафедру информатики, а два года спустя был назначен ректором университета.

В 1976 году Рабин и Скотт были удостоены премии Тьюринга, которая считается высшей наградой в области информатики, за свою работу по теории автоматов. В том же году Рабин опубликовал статью о «древовидных автоматах», расширяя вычислительные модели на иерархические структуры.

В 1970-х и 1980-х годах, деля время между Иерусалимом и США, Рабин разрабатывал вероятностные алгоритмы и работал над задачами распределённых вычислений.

В 1975 году он стал работать в Массачусетском технологическом институте в Бостоне, где изобрёл тест Миллера-Рабина (продолжая работу Гэри Миллера) — алгоритм, который позволяет очень быстро (но с ничтожно малой вероятностью ошибки) определить, является ли число простым. Быстрая проверка простых чисел — ключевой фактор большинства систем шифрования с открытым ключом, и в 2003 году Миллер, Рабин, Роберт Соловай и Фолькер Штрассен были удостоены премии Канеллакиса за вклад в кибернетику.

В 1978 году Рабин создал т.н. алгоритм подписи Рабина — одну из первых схем цифровой подписи.

В 1981 году Рабин создал алгоритм «забывчивой передачи», протокола передачи данных, в котором передатчик передает по одной части информации получателю, но не запоминает, какие части были переданы, и были ли вообще. В дальнейшем это стало одной из основ криптографии. В частности, «забывчивые» протоколы сделали возможным конфиденциальные вычисления.

Он также работал над проблемами координации при распределенных вычислениях, таких как «проблема византийских генералов», доказав, что соглашение может быть эффективно найдено даже при ненадёжных участниках, что будет очень важно для электронной коммерции и мобильных вычислений ещё в течение многих лет.

В 1987 году Рабин вместе с Ричардом Карпом создал один из самых известных эффективных алгоритмов поиска — алгоритм поиска строк Рабина-Карпа.

Рабин всю жизнь работал над методами повышения секретности и создания невзламываемых способов шифрования. Он автор гениальной идеи абсолютной безопасности (Hyper-encryption), основанной на непрерывном потоке случайных битов, передаваемых со спутника. Используя эту схему, сообщения останутся нерасшифровываемыми даже в далёком будущем.

На протяжении своей карьеры Рабин получил множество наград, включая (помимо уже упомянутых премий Тюринга и Канеллакиса): премию Ротшильда, Израильскую премию в области компьютерных наук, премию EMET и премию Дана Давида.

Он был многолетним членом:

— Израильской академии наук и гуманитарных наук

— Национальной академии наук США

— Американского философского (научного) общества

— Американской академии искусств и наук

— Французской академии наук

— Королевского общества (академии наук) Великобритании

Имел почётные докторские степени от нескольких университетов.

Рабин также прогнозировал будущее вычислительной техники, предупреждая, что достижения в области машинного обучения могут сократить роль человека в таких областях, как медицина.

Помимо своих исследований, Рабин был известен как выдающийся преподаватель, который воспитал целые поколения ведущих учёных. Среди его учеников были видные исследователи в Израиле и за рубежом. Его дочери также продолжили академическую карьеру: Таль Рабин стал профессором компьютерных наук, специализируясь на криптографии, а Шарон Рабин-Маргалиот — профессором права.

Рабин стал свидетелем превращения информатики из теоретической дисциплины в силу, формирующую современное общество. Его смерть знаменует собой потерю одного из архитекторов этой области и центральной фигуры в её развитии в Израиле и во всём мире.

Михаэль Рабин похоронен в Раанане рядом со своей женой Рут, скончавшейся незадолго до этого.

Мр.Ш. по: ynet/Джонатан Беркхайм/Институт Дэвидсона/ 18.04.26

Телеграм: t.me/ainewsline

Источник: vk.com

Комментарии: