Меня зовут француз

Меня зовут француз
Рожденный	( 1944-01-19 ) 19 января 1944 г. Болгария
Национальность	Израильский
Альма-матер	Еврейский университет Институт Вейцмана
Научная карьера
Поля	Информатика
Учреждения	Технион
Диссертация	Спецификация и проверка циклических (последовательных и параллельных) программ   (1976 г.)
Докторантура	Амир Пнуэли

Ниссим Франсез נסים פרנסיז; родился: 19 января 1944 г.) — израильский профессор, почетный профессор факультета информатики Техниона (ивр . и бывший руководитель лаборатории компьютерной лингвистики этого факультета.

Ранняя жизнь и образование

Ниссим Франсез родился в Болгарии . Его семья эмигрировала в Израиль в 1949 году. Он получил степень бакалавра наук. и Получил степень магистра математики философии в Еврейском университете в 1965 году . в Иерусалиме После военной службы в Армии обороны Израиля он учился на факультете прикладной математики в Институте Вейцмана и в Реховоте получил степень магистра наук. в 1971 году.

Там он продолжил обучение и получил степень доктора философии. Степень в 1976 г. Франсеса под руководством профессора Амира Пнуэли .

Карьера

В 1976 году Франсез работал научным сотрудником в Королевском университете в Белфасте , Северная Ирландия. Год спустя он присоединился к факультету компьютерных наук Университета Южной Калифорнии (USC) в качестве доцента.

В 1978 году он вернулся в Израиль в качестве преподавателя кафедры компьютерных наук в Технионе в Хайфе . Через год ему присвоено звание старшего преподавателя, а в 1984 году — доцента. В 1991 году он стал профессором факультета компьютерных наук Техниона, а в 1996-2006 годах возглавлял лабораторию компьютерной лингвистики факультета. Франсез возглавлял кафедру компьютерных наук в Банке Леуми на факультете с 2000 по 2010 год, когда он ушел из Техниона в звании почетного профессора.

Во время творческих отпусков и летних отпусков Франсез работал научным сотрудником в вычислительной лаборатории Айкена. в Гарвардском университете летом 1981 и 1982 годов. Он также был приглашенным научным сотрудником в Академии Або, Турку, Финляндия (1988 год) и на факультете компьютерных наук Утрехтского университета , Нидерланды (1992 год). Франсез был почетным приглашенным профессором кафедры компьютерных наук Манчестерского университета (1996–1997 гг.) и старшим академическим посетителем HCRC факультета информатики ( Эдинбургского университета 2002 г.). и в Школе компьютерных наук Университета Сент-Эндрюс (2007 г.).

Профессиональная работа

Франческ работал в Научном центре IBM в Хайфе с 1981 по 1982 год, а год спустя в Исследовательском центре IBM-TJWatson, Йорктаун-Хайтс, Нью-Йорк , США, в качестве приглашенного ученого.В 1983–85 годах он работал над проектированием и внедрением среды программирования Prolog в Научном центре IBM в Хайфе. он был приглашенным ученым в Корпорации микроэлектроники и компьютерных технологий (MCC), Остин, Техас Летом 1986, 1987 и 1989-1990 годов , США.В 1997 году он был приглашенным учёным в Centrum Wiskunde & Informatica (CWI), Амстердам .

Исследовать

Текущие исследования Франсеса сосредоточены на теоретико-доказательной семантике логики и естественного языка .

Он также проводил работы в области формальной семантики естественного языка, типологической грамматики, компьютерной лингвистики , основанных на унификации , грамматических формализмов (LFG, HPSG). В прошлом он интересовался семантикой языков программирования, проверкой программ , параллельным и распределенным программированием и логическим программированием .

Членство в профессиональных обществах

Франсез был членом следующих ассоциаций: Ассоциация вычислительной техники ( SIGPLAN ), Компьютерное общество IEEE , Ассоциация вычислительной лингвистики (ACL), Ассоциация логического программирования , Международная ассоциация логики, языка и информации (FoLLI), Европейская ассоциация теоретических Компьютерные науки (EATCS), Израильская ассоциация теоретической лингвистики (IATL).

Он также был приглашенным редактором (вместе с Яном Праттом-Хартманном) специального выпуска журнала Studia Logica Logic and Natural Language за 2012 год.

Избранная библиография

Книги

• Франсес, Ниссим (1992). Проверка программы . Издательство Аддисон-Уэсли. ISBN  978-0-201-41608-4 .
• Франсез, Ниссим; Форман, Ира Р. (1996). Взаимодействующие процессы: многосторонний подход к скоординированному распределенному программированию . Аддисон-Уэсли. ISBN  978-0-201-56528-7 .
• Франсез, Ниссим; Винтернер, Шули (2011). Грамматики объединения . Издательство Кембриджского университета. ISBN  978-1-139-50357-0 .
• Франсес, Ниссим (2012). Справедливость . Springer Science & Business Media. ISBN  978-1-4612-4886-6 .
• Франсес, Ниссим (2015). Теоретико-доказательная семантика . Публикации колледжа. ISBN  978-1-84890-183-4 .

Статьи

• Франсез, Ниссим; Пнуэли, Амир (1 июня 1978 г.). «Метод доказательства циклических программ». Акта Информатика . 9 (2): 133–157. дои : 10.1007/BF00289074 . ISSN   1432-0525 . S2CID   40233148 .
• Грумберг, Орна; Франсез, Ниссим; Маковский, Иоганн А.; де Ровер, Виллем П. (1 июля 1985 г.). «Правило доказательства справедливого завершения охраняемых команд». Информация и контроль . 66 (1): 83–102. дои : 10.1016/S0019-9958(85)80014-0 . ISSN   0019-9958 .
• Заманский, Анна; Франсез, Ниссим; Зима, Йоад (1 октября 2006 г.). «Система вывода «естественной логики» с использованием исчисления Ламбека». Журнал логики, языка и информации . 15 (3): 273–295. дои : 10.1007/s10849-006-9018-x . ISSN   1572-9583 . S2CID   8396885 .
• Франсес, Ниссим (1 июня 2014 г.). «Двусторонность в семантике теории доказательств». Журнал философской логики . 43 (2): 239–259. дои : 10.1007/s10992-012-9261-3 . ISSN   1573-0433 . S2CID   20855471 .
• Франсес, Ниссим (31 января 2019 г.). «Соответствующая связная логика» . Логика и логическая философия . 28 (3): 409–425. дои : 10.12775/LLP.2019.007 . ISSN   2300-9802 .

Внешние ссылки

• Ниссим Френч , Google Scholar
• Ниссим Франсес в проекте «Математическая генеалогия»
• Ниссим Франсез , на DBLP библиографическом сервере