Ниссим Франсез (иврит : נסים פרנסיז; родился 19 января 1944 года) — израильский профессор, почётный профессор факультета компьютерных наук Техниона и бывший руководитель лаборатории компьютерной лингвистики на факультете. [1]
Ниссим Франсез родился в Болгарии . Его семья эмигрировала в Израиль в 1949 году. Он получил степень бакалавра наук по математике и философии в Еврейском университете в Иерусалиме в 1965 году. После службы в Армии обороны Израиля он учился на кафедре прикладной математики в Институте Вейцмана в Реховоте и получил степень магистра наук в 1971 году.
Он продолжил свое обучение там и получил степень доктора философии в 1976 году. Франсез под руководством профессора Амира Пнуэли . [2]
В 1976 году Франсез был научным сотрудником в Университете Квинс в Белфасте , Северная Ирландия. Год спустя он присоединился к кафедре компьютерных наук Университета Южной Калифорнии (USC) в качестве доцента.
В 1978 году он вернулся в Израиль в качестве лектора на кафедре компьютерных наук в Технионе, Хайфа . Год спустя он был повышен до старшего преподавателя, а в 1984 году доцента. В 1991 году он стал штатным профессором на факультете компьютерных наук в Технионе, а в 1996-2006 годах он был руководителем лаборатории компьютерной лингвистики на факультете. Франсез занимал кафедру Bank Leumi по компьютерным наукам на факультете с 2000 по 2010 год, когда он вышел на пенсию из Техниона в качестве почетного профессора. [2]
В своих творческих отпусках и летних отпусках Франсез был научным сотрудником в Aiken Computation Lab. в Гарвардском университете летом 1981 и 1982 годов. Он также был приглашенным ученым в Abo Academy, Турку, Финляндия (1988) и на кафедре компьютерных наук, Университет Утрехта , Нидерланды (1992). Франсез был почетным приглашенным профессором на кафедре компьютерных наук, Манчестерский университет (1996-1997), и старшим академическим посетителем в HCRC, кафедре информатики , Эдинбургский университет (2002) [3] и в Школе компьютерных наук, Университет Сент-Эндрюс (2007). [2]
Франсез работал в IBM Scientific Center, Хайфа с 1981 по 1982 год, а год спустя в IBM-TJWatson Research Center, Йорктаун-Хайтс, Нью-Йорк , США в качестве приглашенного ученого. В 1983-85 годах он работал над проектированием и реализацией среды программирования Prolog в IBM Scientific Center, Хайфа. Он был приглашенным ученым в Microelectronics and Computer Technology Corporation (MCC), Остин, Техас , США летом 1986 и 1987 годов и 1989-1990 годов. В 1997 году он был приглашенным ученым в Centrum Wiskunde & Informatica (CWI), Амстердам . [2]
Текущие исследования Франсеса сосредоточены на семантике теории доказательств для логики и естественного языка . [1]
Он также работал в области формальной семантики естественного языка, типо-логической грамматики, вычислительной лингвистики , унифицированных грамматических формализмов (LFG, HPSG). В прошлом он интересовался семантикой языков программирования, верификацией программ , параллельным и распределенным программированием и логическим программированием . [4]
Франсез был членом следующих ассоциаций: Ассоциация вычислительной техники ( SIGPLAN ), Компьютерное общество IEEE , Ассоциация вычислительной лингвистики (ACL), Ассоциация логического программирования , Международная ассоциация логики, языка и информации (FoLLI), Европейская ассоциация теоретической информатики (EATCS), Израильская ассоциация теоретической лингвистики (IATL). [2]
Он также был приглашенным редактором (совместно с Яном Пратт-Хартманном) специального выпуска Studia Logica Logic and Natural Language за 2012 год. [5]