נסים פרנסיז – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ בוט החלפות: \1מחשוב
מ הוספת קישור לרזומה
שורה 15:
 
==ביוגרפיה==
נסים פרנסיז נולד ב[[בולגריה]]. משפחתו עלתה לישראל בשנת [[1949]], והתיישבה ב[[כפר סבא]]. את התואר הראשון ב[[מתמטיקה]] וב[[פילוסופיה]] קיבל מ[[האוניברסיטה העברית]] ב-1965, ולאחר שירות צבאי במסגרת [[העתודה האקדמית]], המשיך ל[[תואר שני]] ב[[מתמטיקה שימושית]] (מדעי המחשב) ב[[מכון ויצמן]], אותו סיים בשנת 1971. שם קיבל ב-1976 גם את ה[[דוקטורט]] במתמטיקה שימושית (מדעי המחשב), שנושאו היה מפרט ואימות לתוכניות ציקליות The specification ,and verification of cyclic (sequential and concurrent) programs בהנחיית פרופ' [[אמיר פנואלי]].{{הערה|שם=[[רזומה]]|[http://www.cs.technion.ac.il/~francez/resume.pdf RESUME: Prof. Emeritus NISSIM FRANCEZ], הטכניון}}
 
באותה שנה החל פרנסיז לעבוד כ[[עמית מחקר]] באוניברסיטת קווין ב[[בלפסט]], [[צפון אירלנד]], ושנה אחר כך כאסיסטנט-פרופסור במחלקה למדעי המחשב ב[[אוניברסיטת דרום קליפורניה]], [[לוס אנג'לס]]. בשנת 1978 התמנה למרצה במחלקה למדעי המחשב בטכניון, ושנה מאוחר יותר קודם לדרגת מרצה בכיר, וב-1984 לפרופסור חבר. בשנת 1991 מונה ל[[פרופסור מן המניין]]. בין השנים 1996–2000 עמד פרנסיז בראש המעבדה לבלשנות חישובית, ובשנת 2000 מונה למחזיק קתדרת בנק לאומי בפקולטה. במהלך עבודתו האקדמית הנחה 40 תלמידים לתארים מתקדמים. בשנת 2010 פרש לגמלאות כפרופסור אמריטוס.{{הערה|שם=רזומה}} בשנים 1981–1985 עסק במקביל בפרויקטי מחשוב ([[נקודה צפה]] ופרולוג) ב[[מעבדת המחקר של IBM בחיפה]].