マイケル・ラビン
1931年、ドイツのブレスラウ(現:ポーランド領ヴロツワフ)でラビの息子として生まれた。1935年、家族と共にイギリス委任統治領パレスチナに移住。少年のころ数学に強い関心を抱き、ハイファの最高の高校に進学。そこで当時高校教師として勤めていた優秀な数学者 Elisha Netanyahu に学ぶ。
高校卒業後、第一次中東戦争 (1948) の際に陸軍に徴兵された。エルサレムで教授を務めていた数学者アドルフ・フレンケルが軍の命令に介入し、ラビンは1949年に兵役から解放されてヘブライ大学で学べるようになった。1953年、ヘブライ大学で修士号を取得し、1956年にはプリンストン大学で博士号を取得している。
1950年代末、IBMが夏の間ニューヨーク州ウエストチェスター郡にある Lamb Estate に見込みのある若い数学者や科学者を招き、研究環境を与えた。その中にラビンも選ばれている。そこでデイナ・スコットと共に論文 "Finite Automata and Their Decision Problems"(有限状態機械とその決定性問題)を書いた。間もなく非決定性有限オートマトンを活用して、クリーネの「有限状態機械は正確に正規言語を受理する」という結論を再証明することができた。
後に計算複雑性理論と呼ばれることになる理論の原形を完成させるため、ラビンは翌年の夏も Lamb Estate に赴いた。ジョン・マッカーシーは彼にスパイと警備員とパスワードに関するパズルを提示。
1959年にデイナ・スコットと共同で執筆した論文により、1976年にチューリング賞を授与された。受賞理由は次の通り。
「彼らの共作論文 "Finite Automata and Their Decision Problem"(有限状態機械とその決定性問題)に対して。その論文は非決定性マシンという非常に貴重な概念を導入した。この古典的論文はこの分野の後続の者たちに絶えずインスピレーションを与えてくれた」
1980年、ハーヴェイ賞を受賞。
1995年、イスラエル賞を計算機科学の研究で受賞した。
2010年、イスラエルのダン・デイヴィッド賞(未来部門)をレナード・クラインロックとゴードン・ムーアと共に受賞した。