Michael O. Rabin

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.

Michael Oser Rabin
Doğum 1 Eylül 1931 (1931-09-01)
Wrocław, Almanya
Eğitim Kudüs İbrani Üniversitesi
Princeton Üniversitesi
Ödüller Turing Ödülü (1976)
İsrail Ödülü
Dijkstra Ödülü
Kariyeri
Dalı Bilgisayar bilimi
Çalıştığı kurumlar Harvard Üniversitesi
Kudüs İbrani Üniversitesi
Columbia Üniversitesi
Doktora
danışmanı
Alonzo Church
Doktora öğrencileri Moshé Machover
Saharon Shelah
Dov Gabbay
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.