מיכאל רבין

מיכאל רבין
	מיכאל רבין
לידה	1 בספטמבר1931(בן 92); ברסלאו,רפובליקת ויימאר
ענף מדעי	מתמטיקה
מקום מגורים	ישראל
מקום לימודים	האוניברסיטה העברית בירושלים; בית הספר הריאלי העברי בחיפה; אוניברסיטת פרינסטון;
מנחה לדוקטורט	אלונזו צ'רץ'
מוסדות	אוניברסיטת הרווארד; אוניברסיטת ניו יורק; המכון הטכנולוגי של קליפורניה; הטכניון - מכון טכנולוגי לישראל; המכון הטכנולוגי של מסצ'וסטס; אוניברסיטת קולומביה; אוניברסיטת קליפורניה בברקלי; המכון הטכנולוגי של ציריך;
תלמידי דוקטורט	שהרן שלח,Yuh-Dauh Lyuu,Donald Rozinak Beaver,יהונתן אומן,רועי משולם,Alexander D. Healy,Michael Anthony Bender,Christos Kaklamanis,Yan Zong Ding,Victor Harnik,מיכאל בן-אור,עזריה פז,Giuseppe Persiano,יהודית בר אילן,משה מחובר,דאג טייגאר,Christopher Thorpe
פרסים והוקרה	פרס טיורינג(1976); פרס א.מ.ת.(2004); עמית ACM(2020); חבר זר של החברה המלכותית(2007); פרס ישראל(1995); פרס דן דוד(2010); עמית האגודה הבינלאומית למחקר קריפטוגרפי(2009); פרס ג'וסיה וילארד גיבס(1985); פרס הארווי(1980); Gödel Lecturer(2004); פרס פריס קנלאקיס(2003); פרס וולף למתמטיקה; פרס רוטשילד;
צאצאים	טל רבין
תרומות עיקריות
	מחקרים בלוגיקה מתמטית,תורת החישוביות,אלגוריתמים הסתברותיים,חישוב מבוזרוחישוב מקבילי

ערך זה עוסק במדען מחשב ישראלי. אם התכוונתם לכנר יהודי-אמריקאי, ראומיכאל רבין (כנר).

מיכאל עוזר רבין(נולד ב-1 בספטמבר 1931) הואמתמטיקאי ישראליבעל תרומה ניכרת למדעי המחשב,חתןפרס טיורינג,פרס ישראלופרס דן דוד.ממייסדי החוג למדעי המחשב באוניברסיטה העברית בירושלים,בו משמשפרופסור אמריטוס.

קורות חיים[עריכת קוד מקור|עריכה]

מיכאל רבין נולד בשנת1931בברסלאושבגרמניה(כיוםורוצלב,פולין) לד "רישראל אברהם רביןולד "ראסתר רבין.אביו היה גם רב שהגיע משושלת רבנים באירופה. בשנת1935 עלתה משפחתולארץ ישראלוהשתקעה בחיפה.רבין למד בבית הספר "נצח ישראל" ובבית הספר הריאלי העברי בחיפה,שם למד תחת חסותו של המתמטיקאיאלישע נתניהושכיהן כמורה בתיכון^[1].

בצעירותו רצה להיותמיקרוביולוג,בהשפעת הספר "ציידי החיידקים" שלפאול דה קריף.אולם לאחר שנחשף בגיל 12 לגאומטריה,נשבה בקסם המתמטיקה.בראשית 1948 התגייס ושירת במלחמת העצמאותכקשר בחיל התותחנים.

רבין למד מתמטיקה באוניברסיטה העבריתבשנים 1950–1953, והתעניין בעיקר באלגברהובלוגיקה.בשנת 1951 זכה בפרס על שםחיים נחמן ביאליקלסטודנטים מצטיינים^[2].עבודת הגמר שלו לתואר מוסמך כללה פתרון לבעיה פתוחה במתמטיקהשאותה הציגהאמי נתר^[3].לאחר שנה באוניברסיטת פנסילבניה,למד לדוקטורטבאוניברסיטת פרינסטוןבהנחייתו שלאלונזו צ'רץ'.עבודת הגמר שלו קישרה בין מושג החישוביותלתורת החבורות.לאחר שסיים בהצלחה את לימודי הדוקטורט בשנת 1956, הזמין אותוקורט גדללהיות חבר במכון למחקר מתקדםבפרינסטון,שם שהה ולימד מתמטיקה בשנים 1956–1958. בשנת 1958 נתמנה למרצה באוניברסיטה העברית. במשך שנים אחדות חילק רבין את זמנו בין מחקר והוראה באוניברסיטה לבין מחקר במעבדות המחקר של חברתIBM.

ב-1959פרסם רבין יחד עם דנה סקוט מאמר, שהתבסס על עבודתם המשותפת במעבדת המחקר של IBM בקיץ 1957, שבו הראו השניים כיצד ניתן להתייחס לאוטומטכאלאובייקט מתמטי,הוכיחו את המשפטים העיקריים בתחום והמציאו את האוטומט הלא דטרמינסטי^[4].בשנת1976זכו שני הכותבים בפרס טיורינגעל מאמר זה^[3].בקיץ 1958 שהה שוב במעבדת המחקר של IBM, ובעקבות פגישה עםג'ון מקארתיפרסם דו "ח מחקר חלוצי בנושאסיבוכיות חישובית,בפרט בהקשר שלקריפטוגרפיה^[5].

בשנת 1965 הועלה לדרגתפרופסור מן המנייןבאוניברסיטה העברית^[6].בשנת1970יסד את המחלקה למדעי המחשב במסגרת המכון למתמטיקה באוניברסיטה העברית, יחד עם פרופ'אלי שמיר.בשנת 1972 מונה לרקטורהאוניברסיטה^[7],וכיהן בתפקיד זה במשך שלוש שנים. מאז שנת1980ולאורך שנים רבות חילק את זמנו בין האוניברסיטה העברית לאוניברסיטת הרוורד.באמצע שנות ה-90 לימד גם במרכז הבינתחומי הרצליה.

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

מחקר[עריכת קוד מקור|עריכה]

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

אחת מעבודותיו החשובות והמפורסמות ביותר היא בתחום האלגוריתמים ההסתברותיים. הרעיון של רבין הוא לאפשר לתוכנית מחשבלקבוע את צעד החישוב הבא באמצעות "הטלת מטבע",כלומר, באופןאקראי,במקום לקבוע אותו באופןדטרמינסטי.הבחירה האקראית מבטיחה, בהסתברות גבוהה, בחירת מסלול חישוב שמביא לפתרון הנכון במספר ממוצע של צעדי חישוב שקטן במידה רבה ממספר צעדי החישוב בשיטה הדטרמיניסטית הקלאסית. ראו עוד בנושא זה:שיטת מונטה קרלו.שימוש נוסף של אקראיות שרבין תרם רבות להבנתו הוא בתחום האלגוריתמים המבוזרים ובפרט לבעיית "ההסכמה הביזנטית" (Byzantine Agreement). זו היא בעיה מרכזית במערכות מבוזרות שבה יש למעבדים שונים ערכים שונים והם רוצים להסכים על ערך משותף - לדוגמה אם לפעול או לא. הקושי הוא שחלק מהמעבדים הם עוינים, "ביזנטיים",ומנסים להפריע להשגת ההסכמה. הבעיה הוגדרה על ידילזלי למפורטועמיתיו בתחילת שנות ה-80 וידוע כי כל אלגוריתם הסכמה דטרמיניסטי זקוק למספר צעדים יחסי למספר המעבדים העוינים. רבין הראה כי אלגוריתמים הסתברותיים זקוקים למספר צעדים קטן יותר. הגישה של רבין הובילה אחרי מספר שנים לפיתוח שיטה עם מספר צעדים קבוע.

בתחום ההצפנהידוע רבין בזכות שיטת הצפנה וחתימה עםמפתח פומביהקרויה על שמו -הצפנת רבין,שהייתה הראשונה שניתן היה להוכיח לגביה שקילות מסוימת לבעיית פירוק מספרים לגורמים ראשוניים ובזכות המצאת מושג ופרוטוקולהעברה עלומה(Oblivious Transfer). כמו כן היה לו חלק בפיתוחאלגוריתם מילר-רבין,המשמש כדרך המקובלת לבדיקתראשוניותשל מספרים לצורכי הצפנה.

רבין לימד אלפי סטודנטים באוניברסיטה העברית,שבה אף שימש כרקטור,ובאוניברסיטאות אחרות, ובכלל זה אוניברסיטאותברקלי,ייל,ניו יורק,MIT,פרינסטון,הרוורדופריז.בין תלמידיו הבולטים נמניםשהרן שלח,עזריה פזומיכאל בן-אור.

הכרה לאומית ובינלאומית[עריכת קוד מקור|עריכה]

פרופ' רבין זכה בפרסים הבאים:

פרס ויצמןלמדע (1960)^[8]
פרס רוטשילדלמתמטיקה (1974)
פרס טיורינג(1976) - הפרס החשוב בעולם למדעי המחשב
פרס הארווילמדע ולטכנולוגיה (1980)
פרס ישראל(1995)
פרס א.מ.ת- פרס האמנות, המדע והתרבות (2004).
פרס דן דודבחקר העתיד בקטגוריית "מחשבים וטלקומוניקציה" לשנת 2010^[9].
פרס דייקסטרהלחישוב מבוזר (2015).

פרופ' רבין קיבל תוארדוקטור לשם כבודמהאוניברסיטאות הבאות:מכון ויצמן למדע^[10]אוניברסיטת חיפה^[11],האוניברסיטה הפתוחה,אוניברסיטת בן-גוריון בנגב,אוניברסיטת ניו יורק,אוניברסיטת הרווארד^[12],אוניברסיטת בורדוואוניברסיטת ורוצלב^[13].

פרופ' רבין גם חבר באגודות הבאות:

האקדמיה הלאומית הישראלית למדעיםמאז שנת1982,
חבר חוץ באקדמיה האמריקאית למדעים ולאמנויותמאז שנת1975,
חבר חוץ באקדמיה הלאומית למדעים של ארצות הבריתמאז שנת1984,
חבר חוץ שלהחברה הפילוסופית האמריקאיתמ-1988,
חבר חוץ שלהאקדמיה הצרפתית למדעיםמ-1995.

קישורים חיצוניים[עריכת קוד מקור|עריכה]

מדיה וקבצים בנושאמיכאל רביןבוויקישיתוף

מיכאל רבין,באתרפרויקט הגנאלוגיה במתמטיקה
מיכאל רבין,באתרdblp
מיכאל רבין,באתר שלאוניברסיטת הרווארד
מיכאל רבין,באתרפרס א.מ.ת.

מיכאל רביןבאתרהאקדמיה הלאומית הישראלית למדעים
מיכאל רביןבאתרפרס טיורינג(באנגלית)
מיכאל עוזר רבין, ‏מתמטיקה ומדעי המחשב,מחשבות24, יוני 1968, עמ' 11–14
נורית ארד,לימודי מתמטיקה תיכוניים ברמה נאותה - מחייבים צוות מורים חדש,דבר,14 ביולי 1969
שרה לב ותמי לפידות,ריאיון עם פרופ' מיכאל רבין,"הבטים בהוראת מדעי המחשב" ספטמבר 1995
גיא גרימלנד,"אם הזלזול במערכת החינוך יימשך - המצב יהיה הרבה יותר גרוע" - ריאיון עם מיכאל רבין,באתרTheMarker‏, 18 באפריל 2010
פרופ'מיכאל רבין,פלאי תורת ההצפנות ויישומיה לתהליכים פיננסיים,הרצאה מתוך סדרת "מדוע" (תשע "א), המרכז לפיתוח קשרי אוניברסיטה-קהילה,האוניברסיטה העברית בירושלים,13 במרץ 2011.
עופר אדרת,גאון ישראלי: המתמטיקאי שקיבל דוקטורט עם צוקרברג,באתרהארץ,5 ביולי 2017
פרופ' זאב תדמור מראיין את פרופ' מיכאל רבין,סרטון בערוץ "מוסד שמואל נאמן",באתריוטיוב,14 בפברואר 2013
פרופ' דוד הראל מראיין את פרופ' מיכאל רבין,סרטון בערוץ "האקדמיה הלאומית הישראלית למדעים",באתריוטיוב,6 בספטמבר 2018
כינוס לכבוד חבר האקדמיה פרופ' מיכאל רבין בהגיעו לגיל 90,סרטון בערוץ "האקדמיה הלאומית הישראלית למדעים",באתריוטיוב,29 בדצמבר 2021
מיכאל רבין,באתראנציקלופדיה בריטניקה(באנגלית)

הערות שוליים[עריכת קוד מקור|עריכה]

^Dennis Shasha,An Interview with Michael Rabin | February 2010 | Communications of the ACM,cacm.acm.org
^פרס ע "ש ביאליק לסטודנטים מצטיינים,דבר,12 ביוני 1951
^¹²מיכאל רביןבאתרפרס טיורינג(באנגלית)
^M. O. Rabin and D. Scott,Finite Automata and Their Decision Problems,IBM Journal of Research and Development, April 1959
^,Michael O. Rabin,Degree of Difficulty of Computing a Function and a Partial Ordering of Recursive Sets,Technical Report No. 2, Hebrew University, 1960
^מינויים באוניברסיטה העברית בירושלים,דבר,21 ביולי 1965
^אורני איזקסון,פרופ' מ. רבין: נצטרך לתת את דעתנו על יחסי מורים תלמידים,מעריב,9 במרץ 1972
^פרס ויצמן למדע לפרופ' שטיין, ד "ר אבי-דור וד" ר רבין,דבר,22 ביוני 1960
^זוכי פרס דן דוד לשנת 2010,אתר אוניברסיטת תל אביב
^פרופ' מיכאל ע. רבין - חלוץ ישראלי-אמריקאי בתחום מדעי המחשב, חתן תואר דוקטור לשם כבוד,באתר שלמכון ויצמן למדע
^מיכאל עוזר רבין,באתר שלאוניברסיטת חיפה
^Harvard awards 10 honorary degrees,באתר של אוניברסיטת הרווארד
^Michael Rabin's honorary PhD ceremony,באתר של [אוניברסיטת ורוצלב

[1] Dennis Shasha,An Interview with Michael Rabin | February 2010 | Communications of the ACM,cacm.acm.org

[2] פרס ע "ש ביאליק לסטודנטים מצטיינים,דבר,12 ביוני 1951

[טיורינג-3] ¹²מיכאל רביןבאתרפרס טיורינג(באנגלית)

[4] M. O. Rabin and D. Scott,Finite Automata and Their Decision Problems,IBM Journal of Research and Development, April 1959

[5] ,Michael O. Rabin,Degree of Difficulty of Computing a Function and a Partial Ordering of Recursive Sets,Technical Report No. 2, Hebrew University, 1960

[6] מינויים באוניברסיטה העברית בירושלים,דבר,21 ביולי 1965

[7] אורני איזקסון,פרופ' מ. רבין: נצטרך לתת את דעתנו על יחסי מורים תלמידים,מעריב,9 במרץ 1972

[8] פרס ויצמן למדע לפרופ' שטיין, ד "ר אבי-דור וד" ר רבין,דבר,22 ביוני 1960

[9] זוכי פרס דן דוד לשנת 2010,אתר אוניברסיטת תל אביב

[10] פרופ' מיכאל ע. רבין - חלוץ ישראלי-אמריקאי בתחום מדעי המחשב, חתן תואר דוקטור לשם כבוד,באתר שלמכון ויצמן למדע

[11] מיכאל עוזר רבין,באתר שלאוניברסיטת חיפה

[12] Harvard awards 10 honorary degrees,באתר של אוניברסיטת הרווארד

[13] Michael Rabin's honorary PhD ceremony,באתר של [אוניברסיטת ורוצלב

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

זוכיפרס טיורינג
1966–1980	אלן פרליס(1966) •מוריס וינסנט וילקס(1967) •ריצ'רד המינג(1968) •מרווין מינסקי(1969) •ג'יימס וילקנסון(1970) •ג'ון מקארתי(1971) •אדסחר דייקסטרה(1972) •צ'ארלס באקמן(1973) •דונלד קנות'(1974) •אלן ניוולוהרברט סיימון(1975) •מיכאל רביןודנה סקוט(1976) •ג'ון באקוס(1977) •רוברט פלויד(1978) •קנת אייברסון(1979) •טוני הור(1980)
1981–2000	אדגר קוד(1981) •סטיבן קוק(1982) •קן תומפסוןודניס ריצ'י(1983) •ניקלאוס וירת(1984) •ריצ'רד קארפ(1985) •ג'ון הופקרופטורוברט טרג'אן(1986) •ג'ון קוק(1987) •איוואן סדארלנד(1989) •וילאם קאהן(1990) •פרננדו קורבטו(1991) •רובין מילנר(1992) •באטלר לאמפסון(1993) •יוריס הארטמאניסוריצ'רד סטרנס(1994) •אדוארד פייגנבאוםוראג' רדי(1995) •מנואל בלום(1996) •אמיר פנואלי•דאגלס אנגלברט(1997) •ג'ים גריי(1998) •פרד ברוקס(1999) •אנדרו יאו(2000)
2001–2020	אולה יוהאן דאלוקריסטין נייגארד(2001) •רונלד ריבסט,לאונרד אדלמןועדי שמיר(2002) •אלן קיי(2003) •וינט סרףובוב קאהן(2004) •פיטר נאור(2005) •פרנסס אלן(2006) •אדמונד קלארק,אלן אמרסוןוג'וסף סיפאקיס(2007) •ברברה ליסקוב(2008) •צ'ארלס פ. ת'אקר(2009) •לסלי וליאנט(2010) •יהודה פרל(2011) •שפי גולדווסרוסילביו מיקאלי(2012) •לזלי למפורט(2013) •מייקל סטונברייקר(2014) •ויטפילד דיפיומרטין הלמן(2015) •טים ברנרס-לי(2016) •ג'ון הנסיודייוויד פטרסון(2017)יהושע בנג'יו,ג'פרי הינטוןויאן לקון(2018) •אדווין קטמולופט הנרהן(2019) •אל אהווג'פרי אולמן(2020)
2021 ואילך	ג'ק דונגארה(2021) •רוברט מטקאלף(2022)•אבי ויגדרזון(2023)