Michael O. Rabin

Vikipedi, özgür ansiklopedi

Michael Oser Rabin
Doğum1 Eylül 1931 (92 yaşında)
Wrocław, Almanya
EğitimKudüs İbrani Üniversitesi
Princeton Üniversitesi
ÖdüllerTuring Ödülü (1976)
İsrail Ödülü
Dijkstra Ödülü
Kariyeri
DalıBilgisayar bilimi
Çalıştığı kurumlarHarvard Üniversitesi
Kudüs İbrani Üniversitesi
Columbia Üniversitesi
Doktora
danışmanı
Alonzo Church
Doktora öğrencileriMoshé Machover
Saharon Shelah
Dov Gabbay

Michael Oser Rabin (İbraniceמִיכָאֵל עוזר רַבִּין; d. 1 Eylül 1931), İsrailli bilgisayar bilimcisi. Dana Scott'la birlikte hazırladığı 1959 tarihli makale ile deterministik olmayan sonlu durum makinelerinin temelini atmış ve 1976'da Turing Ödülü'ne değer görülmüştür. Rabin, verili bir metin üzerinde herhangi bir dizeyi bulmaya yarayan algoritmayı da geliştirmiştir.