זוהר מנה

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
אין תמונה חופשית

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

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

יחד עם אמיר פנואלי כתב מספר ספרים בנושאי לוגיקה. שימש כמנחה הדוקטורט של עדי שמיר ונחום דרשוביץ.

בשנת 2004 נערך לכבוד יום הולדתו סימפוזיון בן יום באוניברסיטת תל אביב וסימפוזיון נוסף בן שבוע בסיציליה.

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

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