זוהר מנה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
זוהר מנה
אין תמונה חופשית
לידה 17 בינואר 1939 (בן 79)
חיפה, המנדט הבריטי עריכת הנתון בוויקינתונים
ענף מדעי מדעי המחשב עריכת הנתון בוויקינתונים
ארצות מגורים ארצות הברית, ישראל עריכת הנתון בוויקינתונים
מקום לימודים אוניברסיטת קרנגי מלון, הטכניון - מכון טכנולוגי לישראל עריכת הנתון בוויקינתונים
מנחה לדוקטורט אלן פרליס, רוברט פלויד עריכת הנתון בוויקינתונים
מוסדות אוניברסיטת סטנפורד, מכון ויצמן למדע עריכת הנתון בוויקינתונים
מונחה לדוקטורט עדי שמיר, פייר וולפר, מרטין אבדי עריכת הנתון בוויקינתונים
פרסים והנצחה מלגת גוגנהיים (1968)
פרס פרידריך באור (1992)
עמית האגודה למכונות מחשוב
פרס הרברנד (2016) עריכת הנתון בוויקינתונים
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

זוהר מנה (Manna; נולד ב-1939) הוא מדען מחשב ישראלי, פרופסור באוניברסיטת סטנפורד, במכון ויצמן למדע ובמרכז הבינתחומי הרצליה.

ביוגרפיה[עריכת קוד מקור | עריכה]

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

ספרו The Mathematical Theory of Computation, שיצא לאור ב-1974 הוא מראשוני הספרים שעסקו בביסוס מתמטי של מלאכת התכנות. יחד עם אמיר פנואלי כתב שלושה ספרים בנושאי לוגיקה טמפורלית: 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, שכתיבתו לא הושלמה (ראו טיוטה של שלושת פרקיו הראשונים, באתר של זוהר מנה באוניברסיטת סטנפורד).

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

נשוי לניצה ואב לארבעה.

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