Michael O. Rabin
Michael Oser Rabin(lahir1931diBreslau,Polandia) adalah seorang ilmuwan komputer dan penerimaTuring Award,penghargaan berprestise di bidang ilmu komputer.
Rabin menyelesaikan pendidikan master diHebrew University of Jerusalempada tahun1953dan pendidikanPh.D.diPrinceton Universitypada tahun1956.
Pada tahun1976,ia danDana Scottmenerima penghargaan Turing Award atas makalah yang ditulis pada tahun1959yang berjudul "Finite Automata and Their Decision Problem". Makalah ini memperkenalkan konsep mesin nondeterministik, yang kelak terbukti menjadi konsep yang sangat penting di bidangteori kompleksitas komputasi,khususnya dalam menjelaskankelas kompleksitas P dan NP.
Pada tahun1975,Rabin juga menemukanuji keprimaan Miller-Rabin,sebuah algoritme teracak yang dapat menentukan dengan cepat (namun dengan sedikit kemungkinan akan terjadi kesalahan) apakah sebuah bilangan adalahbilangan primaatau tidak. Penentuan bilangan prima yang dapat dilakukan dengan cepat ini merupakan salah satu kunci sukses dalam implementasi sebagian besar kriptografi berbasis public-key.
Pada tahun1979,Rabin menemukanSistem kripto Rabin,yang merupakan sistem kripto asimetrik pertama yang tingkat keamanannya terbukti ekivalen dengan kesulitan menentukanfaktorisasi integerdari sebuah bilangan yang sangat besar.
Pada tahun1987,Rabin, bersama denganRichard Karp,membuatalgoritme pencarian stringyang paling efisien dan dinamakanalgoritme pencarian string Rabin-Karp.