זהר מנה

זהר מנה נולד ב-1939 בחיפה

זהר מנה נולד ב-1939 בחיפה וגדל בה. הוא התגייס לצה״ל במסגרת העתודה האקדמית.

הוא קיבל תואר ראשון במתמטיקה מהטכניון ב-1962 ותואר שני ב-1965. ב-1968 קיבל דוקטורט במדעי המחשב מאוניברסיטת קרנגי מלון, בהנחיית אלן פרליס ורוברט פלויד.

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

הוא כתב 9 ספרים, ובהם ״התורה המתמטית של החישוב״ מ-1974 וספרים על לוגיקה טמפורלית עם אמיר פנואלי. הוא הנחה 30 דוקטורנטים, ובהם עדי שמיר ונחום דרשוביץ.

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