זהר מנה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
spelling of name
תגית: שוחזרה
מ שוחזר מעריכות של 2A0D:6FC2:43D0:9200:38DE:B68D:57D2:2665 (שיחה) לעריכה האחרונה של Abuasomgu
תגיות: שחזור שוחזרה
שורה 3:
|תאריך פטירה=[[30 באוגוסט]] [[2018]]
|כיתוב= {{תמונה להחלפה}}}}
'''זהרזוהר מנה''' ([[17 בינואר]] [[1939]] – [[30 באוגוסט]] [[2018]]) היה [[מדען מחשב]] [[ישראלי]], [[פרופסור]] ב[[אוניברסיטת סטנפורד]], ב[[מכון ויצמן למדע]] וב[[המרכז הבינתחומי הרצליה|מרכז הבינתחומי הרצליה]].
 
==ביוגרפיה==
זהרזוהר מנה נולד וגדל ב[[חיפה]]. הוא קיבל תואר ראשון (1962) ושני (1965) במתמטיקה מ[[הטכניון - מכון טכנולוגי לישראל|הטכניון]] ותואר דוקטור במדעי המחשב מ[[אוניברסיטת קרנגי מלון]] שב[[פנסילבניה]] בהנחיית [[אלן פרליס]], זוכה [[פרס טיורינג]] הראשון ו[[רוברט פלויד]] (אף הוא זוכה פרס טיורינג). בשנים 1962–1964 שירת ב[[צה"ל]] כ[[מתכנת]]. לימד באוניברסיטת סטנפורד בין השנים 1968 ל-1972. בשנים 1972–1995 היה בסגל מכון ויצמן, ובין השאר היה מנחה הדוקטורט של [[עדי שמיר]] ו[[נחום דרשוביץ]]. בשנת [[1978]] מונה ל[[פרופסור מן המניין]] באוניברסיטת סטנפורד, ועד 1995 המשיך להיות פרופסור גם במכון ויצמן. בשנת 2010 פרש לגמלאות מאוניברסיטת סטנפורד.
 
תחומי מחקרו כללו את [[תורת החישוביות]], לוגיקה של תוכנית מחשב, [[לוגיקה טמפורלית]] ויישומיה, [[הוכחה אוטומטית]], [[חישוב מקבילי]], [[מערכת זמן אמת|מערכות זמן אמת]], [[מערכת היברידית|מערכות היברידיות]] {{אנג|Hybrid system}}, [[אימות תוכנה]], [[אימות חומרה]] ו[[סינתזה של תוכניות]] {{אנג|Program synthesis}}.
שורה 15:
* 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, שכתיבתו לא הושלמה (ראו [http://theory.stanford.edu/~zm/tvors3.html טיוטה של שלושת פרקיו הראשונים], באתר של זהרזוהר מנה באוניברסיטת סטנפורד).
כתב גם ארבעה ספרים יחד עם ריצ'רד וולדינגר:
<div class="mw-content-ltr">
שורה 29:
נפטר ב-[[30 באוגוסט]] [[2018]] בגיל 79, ונקבר למחרת בבית העלמין מנוחת עולם ב[[נתניה]]. הותיר אחריו את רעייתו ניצה וארבעת ילדיו.
 
[[סדר דרשוביץ-מנה]] {{אנג|Dershowitz–Manna ordering}} קרוי על שמו ועל שם תלמידו, [[נחום דרשוביץ]].
 
==קישורים חיצוניים==
{{פרופילי מדענים}}
* [http://theory.stanford.edu/~zm/ זהרזוהר מנה] באתר [[אוניברסיטת סטנפורד]]
<div class="mw-content-ltr">
* [https://news.stanford.edu/2018/09/06/computer-science-pioneer-zohar-manna-dies/ Stanford computer science pioneer Zohar Manna dies at age 79], Stanford News, September 6, 2018
שורה 43:
{{בקרת זהויות}}
 
{{מיון רגיל: מנה, זהרזוהר}}
[[קטגוריה:מדעני מחשב ישראלים]]
[[קטגוריה:מתמטיקאים ישראלים]]