Michael Rabin（マイケル・ラビン）

ラビンとダナ・スコットは、1959年に記述した非決定性有限オートマトンにより、1976年のチューリング賞を共同受賞した。同じ年にゲイリー・ミラーの研究を踏まえた確率的素数判定法も発表している。ミラー・ラビン法は素数を誤判定せず、合成数を誤るのもまれで、いまもRSA鍵に使う素数の生成に用いられている。

1979年のラビン暗号は、安全性が素因数分解と等価であることが証明された最初の暗号である。1981年には忘却転送を提示し、これはゴルドライヒ、ミカリ、ウィグダーソンによる秘密計算の部品となった。リチャード・カープとの共同で、1987年のラビン–カープ文字列検索法にも名を残している。