Nissim Francez

Nissim Francez
Urodzić się	( 19.01.1944 ) 19 stycznia 1944 Bułgaria
Narodowość	izraelski
Alma Mater	Instytut Weizmanna Uniwersytetu Hebrajskiego
Kariera naukowa
Pola	Informatyka
Instytucje	Technion
Praca dyplomowa	Specyfikacja i weryfikacja programów cyklicznych (sekwencyjnych i współbieżnych) (1976)
Doradca doktorski	Amira Pnueli

Nissim Francez ( hebr . נסים פרנסיז ; ur. 19 stycznia 1944) to izraelski profesor emerytowany na wydziale informatyki na Technion i były kierownik laboratorium lingwistyki komputerowej na wydziale.

Wczesne życie i edukacja

Nissim Francez urodził się w Bułgarii . Jego rodzina wyemigrowała do Izraela w 1949 roku. Uzyskał tytuł licencjata. w 1965 roku obronił doktorat z matematyki i filozofii na Uniwersytecie Hebrajskim w Jerozolimie . Po odbyciu służby wojskowej w IDF studiował na Wydziale Matematyki Stosowanej Instytutu Weizmanna w Rehovot i uzyskał tytuł mgr inż . w 1971 roku

Tam kontynuował studia i uzyskał stopień doktora. Dyplom w 1976 r. Francez pod kierunkiem prof. Amira Pnueli .

Kariera

Francez był pracownikiem naukowym na Queen's University Belfast w Irlandii Północnej w 1976 roku. Rok później dołączył do Wydziału Informatyki Uniwersytetu Południowej Kalifornii (USC) jako adiunkt.

W 1978 powrócił do Izraela jako wykładowca na Wydziale Informatyki Technion w Hajfie . Rok później awansował na starszego wykładowcę, aw 1984 na profesora nadzwyczajnego. W 1991 został profesorem zwyczajnym na Wydziale Informatyki w Technion, aw latach 1996-2006 był kierownikiem Pracowni Lingwistyki Komputerowej na tym wydziale. Francez piastował Bank Leumi w dziedzinie informatyki na wydziale od 2000 do 2010 roku, kiedy to przeszedł na emeryturę z Technion jako emerytowany profesor.

Podczas urlopu naukowego i letnich urlopów Francez był pracownikiem naukowym w Aiken Computation Lab. na Uniwersytecie Harvarda w lecie 1981 i 1982. Był także naukowcem wizytującym w Abo Academy, Turku, Finlandia (1988) oraz na Wydziale Informatyki Uniwersytetu w Utrechcie , Holandia (1992). Francez był honorowym profesorem wizytującym na Wydziale CS Uniwersytetu w Manchesterze (1996-1997) oraz starszym gościem akademickim w HCRC na Wydziale Informatyki Uniwersytetu w Edynburgu (2002) oraz w Szkole Informatyki, Uniwersytet St Andrews (2007).

Profesjonalna robota

Francez pracował w IBM Scientific Center w Hajfie w latach 1981-1982, a rok później w IBM-TJWatson Research Center w Yorktown Heights w Nowym Jorku w Stanach Zjednoczonych jako naukowiec wizytujący. W latach 1983-85 pracował nad projektowaniem i wdrażaniem Prolog w IBM Scientific Center w Hajfie. Był naukowcem wizytującym w Microelectronics and Computer Technology Corporation (MCC), Austin, Teksas , USA latem 1986 i 1987 oraz 1989-1990 W 1997 był naukowcem wizytującym w Centrum Wiskunde & Informatica (CWI), Amsterdam .

Badania

Obecne badania Franceza koncentrują się na semantyce teorii dowodu dla logiki i języka naturalnego .

Prowadził również prace z zakresu semantyki formalnej języka naturalnego, gramatyki typowo-logicznej, lingwistyki komputerowej , formalizmów gramatycznych opartych na unifikacji (LFG, HPSG). W przeszłości interesował się semantyką języków programowania, weryfikacją programów , programowaniem współbieżnym i rozproszonym oraz programowaniem logicznym .

Członkostwo w stowarzyszeniach zawodowych

Francez był członkiem następujących stowarzyszeń: Association for Computing Machinery ( SIGPLAN ), IEEE Computer Society , Association for Computational Linguistics (ACL), Association for Logic Programming , International Association for Logic, Language and Information (FoLLI), European Association for Theoretical Informatyka (EATCS), izraelskie stowarzyszenie językoznawstwa teoretycznego (IATL).

Był także gościnnym redaktorem (wraz z Ianem Prattem-Hartmannem) specjalnego wydania Studia Logica Logic and Natural Language, 2012.

Wybrana bibliografia

Książki

•   Francez, Nissim (1992). Weryfikacja programu . Wydawnictwo Addison-Wesley. ISBN 978-0-201-41608-4 .
•   Francez, Nissim; Forman, Ira R. (1996). Interakcyjne procesy: wielostronne podejście do skoordynowanego programowania rozproszonego . Addison-Wesley. ISBN 978-0-201-56528-7 .
•   Francez, Nissim; Wintner, Shuly (2011). gramatyki unifikacyjne . Wydawnictwo Uniwersytetu Cambridge. ISBN 978-1-139-50357-0 .
•   Francez, Nissim (2012). Uczciwość . Springer Science & Business Media. ISBN 978-1-4612-4886-6 .
•   Francez, Nissim (2015). Semantyka teorii dowodu . Publikacje uczelni. ISBN 978-1-84890-183-4 .

Artykuły

•    Francez, Nissim; Pnueli, Amir (1 czerwca 1978). „Metoda dowodu dla programów cyklicznych”. Acta Informatica . 9 (2): 133–157. doi : 10.1007/BF00289074 . ISSN 1432-0525 . S2CID 40233148 .
•   Grumberg, Orna; Francez, Nissim; Makowsky, Johann A.; de Roever, Willem P. (1 lipca 1985). „Reguła dowodowa dla sprawiedliwego zakończenia strzeżonych poleceń” . Informacji i Kontroli . 66 (1): 83–102. doi : 10.1016/S0019-9958(85)80014-0 . ISSN 0019-9958 .
•    Zamański, Anna; Francez, Nissim; Zima, Yoad (1 października 2006). „System wnioskowania„ Natural Logic ”z wykorzystaniem rachunku Lambeka”. Dziennik logiki, języka i informacji . 15 (3): 273–295. doi : 10.1007/s10849-006-9018-x . ISSN 1572-9583 . S2CID 8396885 .
•    Francez, Nissim (1 czerwca 2014). „Bilateralizm w semantyce teorii dowodu”. Dziennik logiki filozoficznej . 43 (2): 239–259. doi : 10.1007/s10992-012-9261-3 . ISSN 1573-0433 . S2CID 20855471 .
•   Francez, Nissim (31 stycznia 2019). „Odpowiednia logika łączna” . Logika i filozofia logiczna . 28 (3): 409–425. doi : 10.12775/LLP.2019.007 . ISSN 2300-9802 .

Linki zewnętrzne

• Nissim Francez , Google Scholar
• Nissim Francez w Mathematics Genealogy Project
• Nissim Francez na serwerze bibliograficznym DBLP