אמיר פנואלי
מתוך ויקיפדיה, האנציקלופדיה החופשית
אמיר פנואלי (נולד ב-22 באפריל 1941). מדען ישראלי, העוסק במתמטיקה ובמדעי המחשב, חתן פרס ישראל ופרס טיורינג.
פנואלי נולד במושב נהלל, בנו של ש"י פנואלי, שהיה מורה, ולימים מייסד החוג לספרות עברית באוניברסיטת תל אביב. גדל בחולון. סיים תואר ראשון במתמטיקה בטכניון, לאחר מכן עשה דוקטורט במכון ויצמן למדע בהנחייתו של פרופ' חיים לייב פקריס. נושא התזה שלו, שאותה הגיש בשנת 1967, הוא "גיאות ושפל באגנים פשוטים". לאחר סיום הדוקטורט החליט להשקיע את מאמציו במדעי המחשב באוניברסיטת סטנפורד, בה גם עשה פוסטדוקטורט. לאחר מכן חזר למכון ויצמן ונמנה עם סגל החוקרים בו. בשנת 1973 עבר לאוניברסיטת תל אביב, והקים בה את החוג למדעי המחשב. בשנת 1980 חזר למכון ויצמן.
ב-1999 עבר לאוניברסיטת מדינת ניו-יורק בארצות הברית לפקולטה למדעי המחשב.
בשנת 1996 קיבל את פרס טיורינג, על הכנסת לוגיקת זמן (לוגיקה טמפורלית) לתחום מדעי המחשב.
בנוסף לפעילותו האקדמית, פעל פנואלי כיזם בתחום ההיי-טק. בשנת 1971 נמנה עם מייסדי חברת "מיני מערכות", שסיפקה שירותי פיתוח תוכנה לחברת "סאיטקס" ולגופים נוספים. בשנת 1982 נמנה עם מייסדי חברת "אדקאד".
[עריכה] קישורים חיצוניים
- אמיר פנואלי, באתר פרס ישראל
- 5 שאלות לפרופ' אמיר פנואלי, באתר של מכון ויצמן למדע