אמיר פנואלי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הסרת שדה "פרסים והוקרה", ישאב אוטומטית מוויקינתונים |
אין תקציר עריכה |
||
שורה 16:
פנואלי נולד במושב [[נהלל]], בנו של [[ש"י פנואלי]], שהיה מורה, ולימים מייסד החוג ל[[ספרות עברית]] ב[[אוניברסיטת תל אביב]]. ב-[[1945]] עבר עם משפחתו ל[[חולון]]. למד בתיכון "קוגל" בחולון וב"[[תיכון חדש]]" ב[[תל אביב]].
סיים תואר ראשון במתמטיקה ב[[הטכניון|טכניון]] בהצטיינות יתרה, לאחר מכן עשה [[דוקטורט]] ב[[מכון ויצמן למדע]] בהנחייתו של פרופ' [[חיים לייב פקריס]]. נושא התזה שלו, שאותה הגיש בשנת [[1967]], הוא "גאות ושפל באגנים פשוטים". במהלך [[פוסט-דוקטורט]] ב[[אוניברסיטת סטנפורד]] ובמרכז המחקר של [[IBM]] ב[[יורקטאון הייטס]] החליט להשקיע את מאמציו במדעי המחשב. בשנת [[1969]] חזר למכון ויצמן ונמנה עם סגל החוקרים בו{{הערה|{{דבר||העלאות בדרגה בסגל המדעי של מכון וייצמן|1970/07/17|00711}}}}. בשנת [[1973]] עבר ל[[אוניברסיטת תל אביב]], והקים בה את החוג למדעי המחשב. בשנת [[1980]] חזר למכון ויצמן, שם עסק במחקר פעיל, הוראה והנחיית סטודנטים עד גיל פרישה.
בשנת [[1996]] קיבל את [[פרס טיורינג]], על מאמרו משנת 1977, "The Temporal Logic of Programs", שבו הציג את [[לוגיקת זמן|לוגיקת הזמן]] (לוגיקה טמפורלית) לתחום מדעי המחשב. השיטות התאורטיות שפיתח מאפשרות הוכחת טענות המתייחסות לממד הזמן, ובכך מאפשרות [[אימות תוכנה|לאמת תוכנה]] המפקחת על אירועים בדידים ורציפים כאחד.
| |||