Михаэль Озёр Рабин (нем. Michael Oser Rabin, ивр. מִיכָאֵל עוזר רַבִּין, род. 1 сентября 1931, Вроцлав) — израильский учёный в области теории вычислительных систем, математик, лауреат премии Тьюринга.
Михаэль Рабин родился в 1931 году в семье уроженца Проскурова, раввина Исраэля Аврахама Рабина в Бреслау (ныне Вроцлав), принадлежавшем тогда Пруссии. В 1935 году его семья эмигрировала в Палестину. В юном возрасте обучался математике у Элиши Нитаньяху[1]. В 1953 году он получил степень магистра наук, окончив учёбу в Еврейском университете в Иерусалиме. Три года спустя, в 1956 году, защитил диссертацию в Принстонском университете и стал доктором философии.
Занимаелся исследованиями в области компьютерной безопасности и преподаёт в Иерусалиме и Гарварде. Имеет звания почётного профессора в следующих вузах:[2]
К его знаменитым ученикам относится Саарон Шелах, ныне профессор в Иерусалиме, лауреат премии Вольфа по математике.
Его дочь Таль Рабин руководит научной группой Cryptography and Privacy Research Group в компании IBM.
В 1969 году Рабин обобщил теорему Бюхи на случай более одной функции следования, чем показал разрешимость соответствующей теории второго порядка. В ходе ведения доказательства он доказал детерминированность игр на чётность (англ. parity games)