Nissim Francez - Nissim Francez

Nissim Francez (Hebrejsky: נסים פרנסיז; narozen: 19. ledna 1944) je Izraelčan profesor emeritní v Počítačová věda Fakulta na Technion a bývalý vedoucí Výpočetní lingvistika Laboratoř na fakultě.^{[Citace je zapotřebí ]}

raný život a vzdělávání

Nissim Francez se narodil v Bulharsko. Jeho rodina emigrovala do Izrael v roce 1949. Získal svůj B.Sc. v Matematika a Filozofie z Hebrejská univerzita, Jeruzalém v roce 1965. Po vojenské službě v IDF, studoval na katedře Aplikovaná matematika na Weizmann Institute, Rehovot, a obdržel jeho M.sc. v roce 1971.

Pokračoval tam ve studiu a získal Ph.D. stupně v roce 1976. Francez pod vedením Prof. Amir Pnueli.^[1]

Kariéra

Francez byl výzkumným spolupracovníkem společnosti Queen's University Belfast, Severní Irsko v roce 1976. O rok později nastoupil do Oddělení informatiky VŠUP University of Southern California (USC), jako odborný asistent.

V roce 1978 se vrátil do Izraele jako odborný asistent na katedře informatiky v Technionu, Haifa. O rok později byl povýšen na docenta a v roce 1984 na docenta. V roce 1991 se stal řádným profesorem na Fakultě informatiky v Technionu a v letech 1996-2006 vedl na této fakultě Laboratoř počítačové lingvistiky. Francez držel Bank Leumi katedra informatiky na fakultě od roku 2000 do roku 2010, kdy odešel do důchodu z Technionu jako emeritní profesor.^[1]

Ve svých volbách a letních prázdninách byl Francez výzkumným spolupracovníkem v Aiken Computation Lab. na Harvardská Univerzita v létech 1981 a 1982. Byl také hostujícím vědeckým pracovníkem na akademii Abo v Turku ve Finsku (1988) a na katedře výpočetní techniky, Univerzita v Utrechtu, Nizozemsko (1992). Francez byl čestným hostujícím profesorem na katedře CS, Manchester University (1996-1997) a hlavní akademický návštěvník v HCRC, Katedra informatiky, Edinburgh University (2002)^[2]a na Škole informatiky, St Andrews University (2007).^[1]

Profesionální práce

Francez pracoval v IBM Scientific Center, Haifa v letech 1981-1982 a o rok později v IBM-TJ Watson Research Center, Yorktown Heights, N.Y., Spojené státy jako hostující vědec. V letech 1983-85 pracoval na designu a implementaci a Prolog programovací prostředí v IBM Scientific Center, Haifa. Byl Visiting Scientist ve společnosti Microelectronics and Computer Technology Corporation (MCC), Austin, TX, USA v létě 1986 a 1987 a 1989-1990 V roce 1997 působil jako hostující vědec v Centrum Wiskunde & Informatica (CWI), Amsterdam.^[1]

Výzkum

Současný výzkum Francez se zaměřuje na důkazová sémantika pro logiku a přirozený jazyk.^{[Citace je zapotřebí ]}

Prováděl také práce v formální sémantika přirozeného jazyka, typově logická gramatika, výpočetní lingvistika založené na sjednocení gramatické formalizmy (LFG, HPSG). V minulosti se zajímal o sémantiku programovacích jazyků, ověření programu, souběžně a distribuované programování a logické programování.^[3]

Členství v odborných společnostech

Francez byl členem následujících sdružení: Sdružení pro výpočetní techniku (SIGPLAN ), IEEE Computer Society, Sdružení pro výpočetní lingvistiku (ACL), Sdružení pro logické programování, Mezinárodní sdružení pro logiku, jazyk a informace (FoLLI), Evropská asociace pro teoretickou informatiku (EATCS), izraelské sdružení pro teoretickou lingvistiku (IATL).^[1]

Byl také hostujícím redaktorem (s Ianem Pratt-Hartmannem) ve zvláštním vydání Studia Logica Logika a přirozený jazyk, 2012.^[4]

Vybraná bibliografie

Knihy

• Francez, Nissim (1992). Ověření programu. Vydavatelství Addison-Wesley. ISBN  978-0-201-41608-4.
• Francez, Nissim; Forman, Ira R. (1996). Interakční procesy: přístup více stran ke koordinovanému distribuovanému programování. Addison-Wesley. ISBN  978-0-201-56528-7.
• Francez, Nissim; Wintner, Shuly (2011). Sjednocující gramatiky. Cambridge University Press. ISBN  978-1-139-50357-0.
• Francez, Nissim (2012). Spravedlnost. Springer Science & Business Media. ISBN  978-1-4612-4886-6.
• Francez, Nissim (2015). Důkazová sémantika. College Publications. ISBN  978-1-84890-183-4.

Články

• Francez, Nissim; Pnueli, Amir (1. června 1978). Msgstr "Důkazová metoda pro cyklické programy". 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. července 1985). „Pravidlo pro spravedlivé ukončení strážných příkazů“. Informace a kontrola. 66 (1): 83–102. doi:10.1016 / S0019-9958 (85) 80014-0. ISSN  0019-9958.
• Zamanský, Anna; Francez, Nissim; Winter, Yoad (1. října 2006). „Inferenční systém„ Natural Logic “využívající Lambekův počet“. Journal of Logic, Language and Information. 15 (3): 273–295. doi:10.1007 / s10849-006-9018-x. ISSN  1572-9583. S2CID  8396885.
• Francez, Nissim (1. června 2014). „Bilateralismus v teoreticko-teoretické sémantice“. Journal of Philosophical Logic. 43 (2): 239–259. doi:10.1007 / s10992-012-9261-3. ISSN  1573-0433. S2CID  20855471.
• Francez, Nissim (31. ledna 2019). „Relevantní konexivní logika“. Logika a logická filozofie. 28 (3): 409–425. doi:10.12775 / LLP.2019.007. ISSN  2300-9802.

externí odkazy

• Nissim Francez, Google Scholar
• Nissim Francez na Matematický genealogický projekt
• Nissim Francez, na DBLP Bibliografický server

Reference