Міхаель Рабін

Міхаель Озер Рабін (івр. מִיכָאֵל עוזר רַבִּין; англ. Michael O. Rabin; нар.1 вересня 1931)  — ізраїльський вчений-теоретик в галузі інформатики, лауреат премії Тюрінга.

Міхаель Озер Рабін
івр. מִיכָאֵל עוזר רַבִּין
Міхаель Рабін Міхаель Рабін
Народився	1 вересня 1931(1931-09-01)[1] (93 роки)  Бреслау, Нижня Сілезія (провінція), Вільна держава Пруссія
Країна	Ізраїль
Діяльність	інформатик, математик, криптограф, педагог, викладач університету
Alma mater	Єврейський університет, Принстонський університет
Галузь	Інформатика
Заклад	Гарвардський університет, Єврейський університет, Колумбійський університет
Науковий керівник	Алонзо Черч [2]
Аспіранти, докторанти	Saharon Shelahd[3] Azaria Pazd[3] Michael Ben-Ord[3] Judit Bar-Iland[3] J. D. Tygard[3] Moshé Machoverd[3] Victor Harnikd[3] Giuseppe Persianod[3] Yan Zong Dingd[3] Yonatan Aumannd[3] Donald Rozinak Beaverd[3] Yuh-Dauh Lyuud[3] Roy Meshulamd[3] Michael A. Benderd[3] Alexander D. Healyd[3] Christos Kaklamanisd[3] Christopher Thorped[3]
Членство	Лондонське королівське товариство Французька академія наук Національна академія наук США Ізраїльська академія природничих і гуманітарних наук Американське філософське товариство Американська академія мистецтв і наук Association for Computing Machinery[4]
Відомий завдяки:	Тест простоти Міллера–Рабіна, Криптосистема Рабіна, Алгоритм Рабіна — Карпа, Недетермінований скінченний автомат, Увипадковлений алгоритм
Батько	Ісраель Аврахам Рабин
Мати	Ester Rabind
Брати, сестри	Мір'ям Бен-Перец[5] Chaim Menachem Rabind[5]
Діти	Tal Rabind
Нагороди	премія Тюрінга (1976) премія Гарві (1980) премія Канеллакіса (2003) Gödel Lecturerd (2004) Гіббсівська лекція (1985) премія Дена Девідаd (2010) honorary doctorate of the Weizmann Institute of Scienced член Міжнародної асоціації криптологічних дослідженьd (2009) премія Вольфа у математиці The EMET Prize for Art, Science and Cultured (2004) іноземний член Лондонського королівського товариства[d] (2007) премія Ротшильда Дійсний член ACMd (2020) honorary doctorate from University of Bordeaux-Id (30 червня 1995) Charles Babbage Awardd (2000)
Особ. сторінка	seas.harvard.edu/directory/rabin
Міхаель Рабін у Вікісховищі

Біографія

Махаель Рабін народився 1 вересня 1931 року у місті Бреслау, на той час у складі Веймарської республіки (нині Вроцлав, Польща), в родині рабина. 1935 року його батько вирішив емігрувати разом із родиною до Палестини.

У ранньому віці зацікавився математикою та навчався в одній з найліпших шкіл міста Хайфа, де він був учнем математика Еліши Нетаньягу^[en]. Закінчивши школу, був призваний до армії під час арабо-ізраїльської війни (1948—1949). Завдяки втручанню Абрахама Френкеля, котрий на той час викладав математику в Єрусалимі, Рабін був звільнений з армії та 1949 року вступив до університету. ^[6] Отримав ступінь магістра в Єврейському університеті у Єрусалимі 1953 року. Захистив дисертацію у Принстоні на тему Рекурсивна нерозв'язність задач в теорії груп (англ. Recursive Unsolvability of Group Theoretic Problems) під керівництвом Алонзо Черча та отримав ступінь доктора 1956 року.^[2]

Наукові публікації

• Michael O. Rabin; Dana Scott (April 1959). Finite Automata and Their Decision Problems. IBM Journal of Research and Development. IBM. 3 (2): 114—125. doi:10.1147/rd.32.0114. (англ.)
• Michael O. Rabin (1963). Probabilistic Automata. Information and Control. IBM. 6 (3): 230—245. doi:10.1016/S0019-9958(63)90290-0. Архів оригіналу за 24 вересня 2015. Процитовано 5 лютого 2016. (англ.)
• Michael O. Rabin (July 1969). Decidability of Second-Order Theories and Automata on Infinite Trees. Transactions of the American Mathematical Society. American Mathematical Society. 141: 1—35. doi:10.2307/1995086. Архів оригіналу за 25 березня 2016. Процитовано 5 лютого 2016. (англ.)
• Michael O. Rabin (April 1989). Efficient dispersal of information for security, load balancing, and fault tolerance. Journal of the ACM. ACM. 36 (2): 335—348. doi:10.1145/62044.62050. Архів оригіналу за 1 лютого 2016. Процитовано 5 лютого 2016. (англ.)
• Richard M. Karp; Michael O. Rabin (March 1987). Efficient randomized pattern-matching algorithms. IBM Journal of Research and Development. IBM. 31 (2): 249—260. doi:10.1147/rd.312.0249. (англ.)
• Michael O. Rabin (1979). Digitalized signatures and public-key functions as intractable as factorization. No. MIT/LCS/TR-212. MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE. (англ.)