פרס טיורינג - קבלת החלטות באמצעות חישוב לא-דטרמיניסטי

פרסים בין-לאומיים

פרופ' מיכאל רבין ופרופ' דנה ס' סקוט

האוניברסיטה העברית בירושלים, אוניברסיטת קרנגי-מלון

פיתוח מודל חישובי פורץ דרך המאפשר למחשב לקבל החלטה לא דטרמיניסטית לגבי הפעולה הבאה שעליו לעשות. בזכות המודל פותחו אלגוריתמים המסוגלים להתמודד עם בעיות מורכבות הכוללות משתנים בלתי צפויים. על מחקרם הוענק לחוקרים בשנת 1976 פרס טיורינג, הפרס היוקרתי ביותר בתחום מדעי המחשב. פרופ' רבין ערך גם מחקרים רבים במבחני ראשוניות שתרמו משמעותית בתחומי ההצפנה ואבטחת המידע.