זהר מנה
פעולות נוספות
| פטירה | 30 באוגוסט 2018 |
|---|---|
זׂהר מנה (17 בינואר 1939 – 30 באוגוסט 2018) היה מדען מחשב ישראלי, פרופסור באוניברסיטת סטנפורד, במכון ויצמן למדע ובמרכז הבינתחומי הרצליה.
ביוגרפיה עריכה
זהר מנה נולד וגדל בחיפה. התגייס לצה"ל במסגרת העתודה האקדמית. קיבל תואר ראשון (1962) ושני (1965) במתמטיקה מהטכניון,[1] ותואר דוקטור במדעי המחשב מאוניברסיטת קרנגי מלון שבפנסילבניה בהנחיית אלן פרליס, זוכה פרס טיורינג הראשון, ורוברט פלויד (אף הוא זוכה פרס טיורינג). בשנים 1962–1964 שירת בצה"ל כמתכנת בחוליית חיל האוויר בממר"ם (לימים יחידה 180). לימד באוניברסיטת סטנפורד בין השנים 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.
מנה פרסם גם כ-200 מאמרים מדעיים וכמה עשרות דוחות טכניים.[2]
בשנת 1994 נבחר לעמית ACM.[3] בשנת 2016 הוענק לו פרס הרברנד, יחד עם ריצ'רד וולדינגר.[4]
נפטר ב-30 באוגוסט 2018 בגיל 79, ונקבר למחרת בבית העלמין מנוחת עולם בנתניה. הותיר אחריו את רעייתו ניצה וארבעת ילדיו.
סדר דרשוביץ-מנה (Dershowitz–Manna ordering) קרוי על שמו ועל שם תלמידו, נחום דרשוביץ.
קישורים חיצוניים עריכה
- קובץ:2021 Facebook icon.svg זהר מנה, ברשת החברתית פייסבוק
- קובץ:X logo 2023.svg זהר מנה, ברשת החברתית X (טוויטר)
- קובץ:Telegram logo.svg זהר מנה, ביישום טלגרם
- קובץ:Instagram logo 2016.svg זהר מנה, ברשת החברתית אינסטגרם
- קובץ:טיקטוק.png זהר מנה, ברשת החברתית טיקטוק
- קובץ:VK.com-logo.svg זהר מנה, ברשת החברתית VK
- קובץ:Linkedin.svg זהר מנה, ברשת החברתית LinkedIn
- קובץ:Linkedin.svg זהר מנה, ברשת החברתית LinkedIn
- קובץ:YouTube full-color icon (2017).svg זהר מנה, סרטונים בערוץ היוטיוב
- קובץ:Twitch logo 2019.svg זהר מנה, ערוץ באתר Twitch.tv
- קובץ:Vimeo Logo.svg זהר מנה, סרטונים באתר Vimeo
- קובץ:Rss-feed.svg [%7B%7B%23property%3AP1581%7D%7D זהר מנה], הבלוג הרשמי
- קובץ:Goodreads logo 2025.svg זהר מנה, ברשת החברתית Goodreads
- קובץ:Flickr wordmark.svg זהר מנה, באתר פליקר
- קובץ:Reddit logo 2023.svg זהר מנה, באתר רדיט
- קובץ:Pinterest-logo.png זהר מנה, באתר פינטרסט
- זהר מנה, באתר פרס נובל (באנגלית)
- זהר מנה, באתר פרויקט הגנאלוגיה במתמטיקה
- זהר מנה, באתר MacTutor (באנגלית)
- זהר מנה, באתר נאס"א (באנגלית)
- זהר מנה, באתר dblp
- זהר מנה, באתר ResearchGate
- זהר מנה, באתר ResearchGate
- זהר מנה, באתר גוגל סקולר
- זהר מנה, באתר Semantic Scholar
- [%7B%7B%23property%3AP5715%7D%7D זהר מנה], באתר Academia.edu
- זהר מנה, באתר IEEE
- זהר מנה, באתר SSRN
- זהר מנה, באתר Justia
- זהר מנה באתר אוניברסיטת סטנפורד
.svg){kind=link}
- Stanford computer science pioneer Zohar Manna dies at age 79, Stanford News, September 6, 2018
- Nachum Dershowitz, Pæan to Zohar Manna
- Nachum Dershowitz and Richard Waldinger, Zohar Manna (1939–2018)
- שגיאת לואה ביחידה יחידה:Citation/CS1/Configuration בשורה 1739<includeonly></includeonly>: attempt to index field '?' (a nil value).
הערות שוליים עריכה
- ^ מקבלי תוארים בטכניון (מחזור ל״ג), הארץ, 24 במאי 1962
- ^ Nachum Dershowitz and Richard Waldinger, Zohar Manna (1939–2018), Tel Aviv University
- ^ Zohar Manna, awards.acm.org (ב־English)
- ^ Herbrand Award, www.cadeinc.org