זהר מנה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
spelling of name תגית: שוחזרה |
מ שוחזר מעריכות של 2A0D:6FC2:43D0:9200:38DE:B68D:57D2:2665 (שיחה) לעריכה האחרונה של Abuasomgu |
||
שורה 3:
|תאריך פטירה=[[30 באוגוסט]] [[2018]]
|כיתוב= {{תמונה להחלפה}}}}
'''
==ביוגרפיה==
תחומי מחקרו כללו את [[תורת החישוביות]], לוגיקה של תוכנית מחשב, [[לוגיקה טמפורלית]] ויישומיה, [[הוכחה אוטומטית]], [[חישוב מקבילי]], [[מערכת זמן אמת|מערכות זמן אמת]], [[מערכת היברידית|מערכות היברידיות]] {{אנג|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:
{{בקרת זהויות}}
{{מיון רגיל: מנה,
[[קטגוריה:מדעני מחשב ישראלים]]
[[קטגוריה:מתמטיקאים ישראלים]]
|