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 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.