נסים פרנסיז

**נסים פרנסיז** (נולד ב-19 בינואר 1944) הוא פרופסור אמריטוס בפקולטה למדעי המחשב בטכניון ולשעבר ראש המעבדה לבלשנות חישובית בפקולטה.

## קורות חיים
נסים פרנסיז נולד בבולגריה. משפחתו עלתה לישראל בשנת 1949, והתיישבה בכפר סבא. את התואר הראשון במתמטיקה ובפילוסופיה קיבל מהאוניברסיטה העברית ב-1965, ולאחר שירות צבאי במסגרת העתודה האקדמית, המשיך לתואר שני במתמטיקה שימושית (מדעי המחשב) במכון ויצמן, אותו סיים בשנת 1971. שם קיבל ב-1976 גם את הדוקטורט במתמטיקה שימושית (מדעי המחשב), שנושאו היה מפרט ואימות לתוכניות ציקליות The specification ,and verification of cyclic (sequential and concurrent) programs בהנחיית פרופ' אמיר פנואלי.

באותה שנה החל פרנסיז לעבוד כעמית מחקר באוניברסיטת קווין בבלפסט, צפון אירלנד, ושנה אחר כך כאסיסטנט-פרופסור במחלקה למדעי המחשב באוניברסיטת דרום קליפורניה, לוס אנג'לס. בשנת 1978 התמנה למרצה במחלקה למדעי המחשב בטכניון, ושנה מאוחר יותר קודם לדרגת מרצה בכיר, וב-1984 לפרופסור חבר. בשנת 1991 מונה לפרופסור מן המניין. בין השנים 1996–2000 עמד פרנסיז בראש המעבדה לבלשנות חישובית, ובשנת 2000 מונה למחזיק קתדרת בנק לאומי בפקולטה. במהלך עבודתו האקדמית הנחה 40 תלמידים לתארים מתקדמים. בשנת 2010 פרש לגמלאות כפרופסור אמריטוס. בשנים 1981–1985 עסק במקביל בפרויקטי מחשוב (נקודה צפה ופרולוג) במעבדת המחקר של IBM בחיפה.

לאורך השנים, שימש פרסיז פרופסור אורח בשנות השבתון שלו במעבדות המחקר של IBM בניו-יורק, בחברת Microelectronics & Computer Technology, אוסטין, טקסס; במכון המחקר הלאומי למתמטיקה ומדעי המחשב, CWI, באמסטרדם; באוניברסיטת מנצ'סטר, בריטניה; במרכז המחקר HCRC באוניברסיטת אדינבורו, סקוטלנד ובאוניברסיטת סנט אנדרוז, סקוטלנד. בתקופות הקיץ שימש כחוקר אורח גם במעבדת המחשוב של הרווארד, מסצ'וסטס; באוניברסיטה האקדמית של אובו, פינלנד ובאוניברסיטת אוטרכט, הולנד.

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

## תחומי מחקריו
פרופ' פרנסיז ממשיך את עבודתו המחקרית גם לאחר צאתו לגמלאות. תחומי מחקריו הנוכחיים הם:
לוגיקה פילוסופית וכן Semantics Theoretic-Proof.

בנוסף הוא מתעניין גם בנושאים הבאים:
* בלשנות חישובית
* דקדוקי קטגוריות
* סמנטיקה פורמלית של שפות טבעיות
* דקדוקי יוניפיקציה (האחדה)
* תורת ההוכחות
* סמנטיקה של שפות תכנות
* אימות תוכניות
* תכנות מקבילי ומבוזר
* תכנות לוגי פרולוג

## חברות באגודות מקצועיות
* חבר האגודה הישראלית לבלשנות ותאורטית
* חבר ב-ACM-SIGPLAN
* חבר ב-IEEE Computer Society
* חבר ב-(Association for Computational Linguistics (ACL
* חבר ב-Association for Logic Programming
* חבר ב-European Association for Theoretical Computer Science
* חבר ב-FoLLI
* חבר מערכת ב-Language and Computation, Grammars
* עורך אורח ב-Studia Logica Logic and Natural Language, 2011

## ספריו

* FAIRNESS - in the Texts and monographs in computer science series (D. Gries, series editor), Springer-Verlag, New York, August 1986.
* PROGRAM VERIFICATION - Addison Wesley, October 1992.
* Interacting Processes: A multiparty approach to coordinated distributed programming, Addison-Wesley, January, 1996 (with Ira R. Forman).
* Unification Grammars, Cambridge University Press, 2011 (with Shuly Wintner).
* Proof-theoretic Semantics, College Publications, October 2015.


* שפת fortran - הלכה ומעשה (עם גדעון אמיר), אוניברסיטת בן-גוריון, 1972
* אוטומטים ושפות פורמליות (עם שמואל זקס), האוניברסיטה הפתוחה, 1987

## מאמרים נבחרים

* N. Francez, A. Pnueli: “A proof method for cyclic programs”, Acta Informatica 9, 1978, pp. 133–157.
* N. Francez: “Distributed termination”, ACM-TOPLAS 2, 1, 1980, pp. 42–55.
* K.R. Apt, N. Francez, W.P. deRoever: “A proof system for Communicating Sequential Processes”, ACM-TOPLAS 2, 3, 1980, pp. 359–385.
* O. Grumberg, N. Francez, J.A. Makovsky, W.P. deRoever: “A proof rule for fair termination of guarded commands”, Information and Control 66, 1/2, July/August 1985, pp. 83–102.
* Michael Kaminski, Nissim Francez: “Finite memory automata”, TCS 134, 2, pp. 329 – 364, November 1994.
* Rani Nelken, Nissim Francez, Bilattices and the Semantics of Natural Language Questions, Linguistics and Philosophy 25 (1): 37-64, February 2002.
* Anna Zamansky, Nissim Francez, Yoad Winter, A ‘Natural Logic’ inference system using the Lambek Calculus, J. of Logic, Language and Information (JOLLI), 15, 2006, pp. 273–295.
* Nissim Francez, Roy Dyckhoff, A Proof-Theoretic Semantics for a fragment of natural language, Linguistics and Philosophy, 33(6),pp. 447–477, 2011.
* Nissim Francez, Roy Dyckhoff, A Note on Harmony, Journal of Philosophical Logic 41 (3), pp. 613–628, 2012.
* Nissim Francez, Bilateralism in proof-theoretic semantics, Journal of Philosophical Logic, 43 (2-3), pp. 239–259, 2014
* Nissim Francez, Bilateral Relevant Logic, Review of Symbolic Logic 7 (2), pp. 250–272, 2014
* Nissim Francez, On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics, Review of Symbolic Logic (RSL), 8 (2), pp. 296–305, 2015
* Nissim Francez, Proof-Theoretic Semantics for intensional transitive verbs, Journal of Semantics, 33 (4), pp. 803–826, November 2016
* Nissim Francez, Natural-deduction for two connexive logics, IFCoLog Journal of Logic and its Applications, 3 (3), 2016, pp. 479–504. Special issue on Connexive Logic.
* Nissim Francez, A proof-theoretic semantics for adjectival modification, Journal of Logic, Language and Information 26 (1), pp. 21–42, 2017
* Nissim Francez, Relevant connexive logic, Logic and Logical Philosophy, special issue on connexive logics, 2019
* Nissim Francez, A poly-connexive logic, Logic and Logical Philosophy, 2019
* Nissim Francez, Another plan for negation, Australasian journal of logic, 16(5), pp. 159–176, 2019.


## קישורים חיצוניים

* נסים פרנסיז באתר הטכניון

## הערות שוליים

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