פתיחת התפריט הראשי

זוהר מנה

מדען מחשב ישראלי-אמריקאי

זוהר מנה (17 בינואר 193930 באוגוסט 2018) היה מדען מחשב ישראלי, פרופסור באוניברסיטת סטנפורד, במכון ויצמן למדע ובמרכז הבינתחומי הרצליה.

זוהר מנה
Zohar Manna.jpg
תמונה זו מוצגת בוויקיפדיה בשימוש הוגן.
נשמח להחליפה בתמונה חופשית.
לידה 17 בינואר 1939
חיפה, פלשתינה (א"י) עריכת הנתון בוויקינתונים
פטירה 30 באוגוסט 2018 (בגיל 79)
נתניה, ישראל עריכת הנתון בוויקינתונים
ענף מדעי מדעי המחשב עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט אלן פרליס, רוברט פלויד עריכת הנתון בוויקינתונים
מוסדות
מונחה לדוקטורט עדי שמיר, פייר וולפר, מרטין אבדי, נחום דרשוביץ עריכת הנתון בוויקינתונים
פרסים והוקרה
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

ביוגרפיהעריכה

זוהר מנה נולד וגדל בחיפה. הוא קיבל תואר ראשון (1962) ושני (1965) במתמטיקה מהטכניון ותואר דוקטור במדעי המחשב מאוניברסיטת קרנגי מלון שבפנסילבניה בהנחיית אלן פרליס, זוכה פרס טיורינג הראשון ורוברט פלויד (אף הוא זוכה פרס טיורינג). בשנים 1962–1964 שירת בצה"ל כמתכנת. לימד באוניברסיטת סטנפורד בין השנים 1968 ל-1972. בשנים 1972–1995 היה בסגל מכון ויצמן, ובין השאר היה מנחה הדוקטורט של עדי שמיר ונחום דרשוביץ. בשנת 1978 מונה לפרופסור מן המניין באוניברסיטת סטנפורד, ועד 1995 המשיך להיות פרופסור גם במכון ויצמן. בשנת 2010 פרש לגמלאות מאוניברסיטת סטנפורד.

תחומי מחקרו כללו את תורת החישוביות, לוגיקה של תוכנית מחשב, לוגיקה טמפורלית ויישומיה, הוכחה אוטומטית, חישוב מקבילי, מערכות זמן אמת, מערכות היברידיות (Hybrid system), אימות תוכנה, אימות חומרה וסינתזה של תוכניות (Program synthesis).

ספרו The Mathematical Theory of Computation, שיצא לאור ב-1974, הוא מראשוני הספרים שעסקו בביסוס מתמטי של מלאכת התכנות. הספר תורגם לצ'כית, איטלקית, יפנית, הונגרית, בולגרית ורוסית. בשנת 2003 יצא לאור מחדש באנגלית בהוצאת דובר.

יחד עם אמיר פנואלי כתב שלושה ספרים בנושאי לוגיקה טמפורלית:

  • The Temporal Logic of Reactive and Concurrent Systems: Specification, יצא לאור בשנת 1991;
  • The Temporal Logic of Reactive and Concurrent Systems: Safety, יצא לאור בשנת 1995;
  • The Temporal Logic of Reactive and Concurrent Systems: Progress, שכתיבתו לא הושלמה (ראו טיוטה של שלושת פרקיו הראשונים, באתר של זוהר מנה באוניברסיטת סטנפורד).

כתב גם ארבעה ספרים יחד עם ריצ'רד וולדינגר:

  • Studies in Automatic Programming Logic, American-Elsevier, New York, NY, 1977
  • Logical Basis for Computer Programming, Volume 1: Deductive Reasoning, Addison-Wesley, Reading, MA, 1985
  • Logical Basis for Computer Programming, Volume 2: Deductive Systems, Addison-Wesley, Reading, MA, 1989
  • The Deductive Foundations of Computer Programming, Addison-Wesley, Reading, MA, 1993

ספרו האחרון, שנכתב יחד עם ארון ברדלי, The Calculus of Computation: Decision Procedures with Applications to Verification יצא לאור בהוצאת שפרינגר בשנת 2007.

בשנת 1994 נבחר לעמית ACM. בשנת 2016 הוענק לו פרס הרברנד, יחד עם ריצ'רד וולדינגר.

נפטר ב-30 באוגוסט 2018 בגיל 79, ונקבר למחרת בבית העלמין מנוחת עולם בנתניה. הותיר אחריו את רעייתו ניצה וארבעת ילדיו.

סדר דרשוביץ-מנה (Dershowitz–Manna ordering) קרוי על שמו ועל שם תלמידו, נחום דרשוביץ.

קישורים חיצונייםעריכה