Ниссим Францез
Ниссим Францез (англ. Nissim Francez, ивр. נסים פרנסיז) — израильский компьютерный учёный, почётный профессор факультета информатики Техниона[1].
Биография[править]
Родился 19 января 1944 года в Болгарии. С семьёй эмигрировал в Израиль в 1949 году.
В 1965 году получил степень бакалавра математики в Еврейском университете в Иерусалиме.
После военной службы в Армии обороны Израиля учился на кафедре прикладной математики в Институте Вейцмана и получил степень магистра в 1971 году, а в 1976 году под руководством профессора Амира Пнуэли получил и докторскую степень.
В 1976 году был научным сотрудником в Королевском университете Белфаста, Северная Ирландия. Год спустя присоединился к факультету компьютерных наук Университета Южной Калифорнии в качестве доцента.
В 1978 году вернулся в Израиль и устроился лектора на кафедру компьютерных наук в Технионе. Через год ему было присвоено звание старшего преподавателя, а в 1984 году — доцента. В 1991 году стал профессором факультета компьютерных наук Техниона, а в 1996-2006 годах был заведующим лабораторией компьютерной лингвистики на факультете. Францез занимал кафедру компьютерных наук с 2000 по 2010 год, а затем ушёл из Техниона в качестве почетного профессора.
Также с 1981 по 1982 год работал в Научном центре IBM в Хайфе, а год спустя трудился в Исследовательском центре IBM в Йорктаун-Хайтсе, Нью-Йорк, США, в качестве приглашенного учёного. В 1983-1985 годах работал над проектированием и реализацией среды программирования Prolog в Научном центре IBM в Хайфе. В 1986, 1987 и 1989-1990 годах был приглашенным учёным в Корпорации микроэлектроники и компьютерных технологий (MCC), Остин, штат Техас, США. В 1997 году был приглашенным учёным в Centrum Wiskunde & Informatica (CWI) в Амстердаме.
Книги[править]
- Francez, Nissim (1992). Program Verification. Addison-Wesley Publishing Company. ISBN 978-0-201-41608-4.
- Francez, Nissim; Forman, Ira R. (1996). Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming. Addison-Wesley. ISBN 978-0-201-56528-7.
- Francez, Nissim; Wintner, Shuly (2011). Unification Grammars. Cambridge University Press. ISBN 978-1-139-50357-0.
- Francez, Nissim (2012). Fairness. Springer Science & Business Media. ISBN 978-1-4612-4886-6.
- Francez, Nissim (2015). Proof-theoretic Semantics. College Publications. ISBN 978-1-84890-183-4.
Статьи[править]
- Francez, Nissim; Pnueli, Amir (1 June 1978). "A proof method for cyclic programs". Acta Informatica. 9 (2): 133–157.
- Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.; de Roever, Willem P. (1 July 1985). "A proof rule for fair termination of guarded commands". Information and Control. 66 (1): 83–102.
- Zamansky, Anna; Francez, Nissim; Winter, Yoad (1 October 2006). "A 'Natural Logic' inference system using the Lambek calculus". Journal of Logic, Language and Information. 15 (3): 273–295.
- Francez, Nissim (1 June 2014). "Bilateralism in Proof-Theoretic Semantics". Journal of Philosophical Logic. 43 (2): 239–259. *Francez, Nissim (31 January 2019). "Relevant Connexive Logic". Logic and Logical Philosophy. 28 (3): 409–425.