אמיר פנואלי

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

אמיר פנואלי, 18 בינואר 2005
הגדל
אמיר פנואלי, 18 בינואר 2005

אמיר פנואלי (נולד ב-22 באפריל 1941). מדען ישראלי, העוסק במתמטיקה ובמדעי המחשב, חתן פרס ישראל ופרס טיורינג.

פנואלי נולד במושב נהלל. סיים תואר ראשון במתמטיקה בטכניון, לאחר מכן עשה דוקטורט במכון ויצמן למדע בהנחייתו של פרופ' חיים לייב פקריס. נושא התזה שלו, שאותה הגיש בשנת 1967, הוא "גיאות ושפל באגנים פשוטים". לאחר סיום הדוקטורט החליט להשקיע את מאמציו במדעי המחשב באוניברסיטת סטנפורד, בה גם עשה פוסטדוקטורט. לאחר מכן חזר למכון ויצמן ונמנה עם סגל החוקרים בו. בשנת 1973 עבר לאוניברסיטת תל אביב, והקים בה את החוג למדעי המחשב. בשנת 1980 חזר למכון ויצמן.

ב-1999 עבר לאוניברסיטת מדינת ניו-יורק בארצות הברית לפקולטה למדעי המחשב.

בשנת 1996 קיבל את פרס טיורינג, על הכנסת לוגיקת זמן (לוגיקה טמפורלית) לתחום מדעי המחשב.

בשנת 2000 הוענק לו פרס ישראל.

בנוסף לפעילותו האקדמית, פעל פנואלי כיזם בתחום ההיי-טק. בשנת 1971 נמנה עם מייסדי חברת "מיני מערכות", שסיפקה שירותי פיתוח תוכנה לחברת "סאיטקס" ולגופים נוספים. בשנת 1982 נמנה עם מייסדי חברת "אדקאד".

[עריכה] קישורים חיצוניים