מדעNissim Francez

נסים פרנסיז

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

נולד ב-1944הוגנות במערכות מקביליותאימות תוכניותסמנטיקה מבוססת הוכחותבלשנות חישובית בטכניון

נולד: 19 בינואר 1944, בולגריה
עיסוק: מדען מחשב, מתמטיקאי, מרצה באוניברסיטה
השכלה: האוניברסיטה העברית בירושלים, מכון ויצמן למדע, מכון ויצמן למדע

נסים פרנסיז נולד ב-1944 בבולגריה

נסים פרנסיז נולד בבולגריה ב-19 בינואר 1944. משפחתו עלתה לישראל ב-1949 והתיישבה בכפר סבא.

הוא קיבל תואר ראשון במתמטיקה ובפילוסופיה מהאוניברסיטה העברית ב-1965. לאחר שירותו הצבאי למד מתמטיקה שימושית במכון ויצמן, סיים תואר שני ב-1971 ודוקטורט ב-1976 בהנחיית אמיר פנואלי.

הוא עבד באוניברסיטת קווין בבלפסט ובאוניברסיטת דרום קליפורניה לפני שהצטרף לטכניון ב-1978. ב-1991 מונה לפרופסור מן המניין, עמד בראש המעבדה לבלשנות חישובית ומ-2000 החזיק בקתדרת בנק לאומי. הוא גם עבד במעבדת המחקר של IBM בחיפה והיה מדען אורח במוסדות שונים בחו״ל.

מחקרו עבר מסמנטיקה ואימות של תוכניות לבלשנות חישובית ובהמשך לסמנטיקה מבוססת הוכחות. הוא כתב את הספרים Fairness ו-Program Verification, ועם שולי וינטנר את Unification Grammars.

ב-2010 פרש כפרופסור אמריטוס והוא ממשיך במחקר. הוא מתגורר בנהריה, נשוי ואב ל-3.