Nissim Francez - Nissim Francez

Nissim Francez (İbranice: נסים פרנסיז; 19 Ocak 1944 doğumlu) bir İsrailli profesör emeritus içinde Bilgisayar Bilimi Fakülte Technion ve eski başkanı Hesaplamalı dilbilimleri Fakülte laboratuvarı.^{[kaynak belirtilmeli ]}

Hayatın erken dönemi ve eğitim

Nissim Francez doğdu Bulgaristan. Ailesi göç etti İsrail 1949'da. B.Sc. içinde Matematik ve Felsefe -den İbrani Üniversitesi, Kudüs 1965 yılında. Askerlik görevinden sonra IDF Bölümü'nde okudu Uygulamalı matematik -de Weizmann Enstitüsü, Rehovot ve onu aldı M.sc. 1971'de.

Çalışmalarına orada devam etti ve Doktora 1976'da yüksek lisans yaptı. Francez, Prof. Amir Pnueli.^[1]

Kariyer

Francez bir Araştırma Görevlisiydi Queen’s University Belfast, Kuzey Irlanda 1976'da. Bir yıl sonra Bilgisayar Bilimleri Bölümü'ne katıldı. Güney Kaliforniya Üniversitesi (USC), yardımcı doçent olarak.

1978'de Technion'da Bilgisayar Bilimleri Bölümünde Öğretim Görevlisi olarak İsrail'e döndü, Hayfa. Bir yıl sonra kıdemli öğretim üyeliğine ve 1984'te Doçentliğe terfi etti. 1991'de Technion'da Bilgisayar Bilimleri Fakültesi'nde profesör oldu ve 1996-2006'da fakültede Hesaplamalı Dilbilim Laboratuvarı'nın başkanı oldu. Francez, Bank Leumi Profesör olarak Technion'dan emekli olduğu 2010 yılına kadar fakültede Bilgisayar Bilimleri kürsüsünde başkanlık yaptı.^[1]

Francez, maaşlı izinlerinde ve yaz izinlerinde Aiken Hesaplama Laboratuvarı'nda Araştırma Görevlisi olmuştur. -de Harvard Üniversitesi 1981 ve 1982 yazlarında. Aynı zamanda Abo Academy, Turku, Finlandiya (1988) ve Bilgisayar Bilimleri Bölümünde Misafir Bilim Adamıydı. Utrecht Üniversitesi, Hollanda (1992). Francez, CS Departmanında Fahri Misafir Profesördü. Manchester Üniversitesi (1996-1997) ve HCRC'de Kıdemli Akademik Ziyaretçi, Bilişim Bölümü, Edinburgh Üniversitesi (2002)^[2]ve Bilgisayar Bilimleri Okulunda, St Andrews Üniversitesi (2007).^[1]

Profesyonel iş

Francez çalışıyordu IBM 1981-1982'de Scientific Center, Haifa ve bir yıl sonra IBM-T.J. Watson Araştırma Merkezi'nde, Yorktown Heights, N.Y., Amerika Birleşik Devletleri Misafir Bilim İnsanı olarak. 1983-85'te bir Prolog IBM Scientific Center, Haifa'da programlama ortamı. Mikroelektronik ve Bilgisayar Teknolojisi Şirketi (MM), Austin 1986 ve 1987 ve 1989-1990 yazlarında TX, ABD 1997 yılında Misafir Bilim Adamı olarak bulundu. Centrum Wiskunde ve Informatica (CWI), Amsterdam.^[1]

Araştırma

Francez'ın mevcut araştırması, kanıt-teorik anlambilim mantık için ve Doğal lisan.^{[kaynak belirtilmeli ]}

Ayrıca şu alanlarda da çalışmalar yaptı biçimsel anlambilim doğal dil, tip-mantıksal gramer, hesaplamalı dilbilimleri, birleşme tabanlı dilbilgisi biçimleri (LFG, HPSG). Geçmişte programlama dillerinin anlambilimiyle ilgileniyordu, program doğrulama, eşzamanlı ve dağıtılmış programlama ve mantık programlama.^[3]

Mesleki topluluklara üyelik

Francez aşağıdaki derneklerin bir üyesiydi: Bilgi İşlem Makineleri Derneği (SİGPLAN ), IEEE Bilgisayar Topluluğu, Hesaplamalı Dilbilim Derneği (ACL), Mantık Programlama Derneği, Uluslararası Mantık, Dil ve Bilgi Derneği (FoLLI), Avrupa Teorik Bilgisayar Bilimleri Derneği (EATCS), İsrail teorik dilbilim derneği (IATL).^[1]

Aynı zamanda bir özel sayının Konuk Editörüydü (Ian Pratt-Hartmann ile birlikte) Studia Logica Mantık ve Doğal Dil, 2012.^[4]

Seçilmiş Kaynakça

Kitabın

• Francez, Nissim (1992). Program Doğrulaması. Addison-Wesley Yayıncılık Şirketi. ISBN  978-0-201-41608-4.
• Francez, Nissim; Forman, Ira R. (1996). Etkileşimli Süreçler: Koordineli Dağıtılmış Programlamaya Çok Taraflı Bir Yaklaşım. Addison-Wesley. ISBN  978-0-201-56528-7.
• Francez, Nissim; Wintner, Shuly (2011). Birleştirme Gramerleri. Cambridge University Press. ISBN  978-1-139-50357-0.
• Francez, Nissim (2012). Adalet. Springer Science & Business Media. ISBN  978-1-4612-4886-6.
• Francez, Nissim (2015). İspat-teorik Anlambilim. Üniversite Yayınları. ISBN  978-1-84890-183-4.

Nesne

• Francez, Nissim; Pnueli, Amir (1 Haziran 1978). "Döngüsel programlar için bir ispat yöntemi". 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 Temmuz 1985). "Korunan komutların adil şekilde sonlandırılması için kanıt kuralı". Bilgi ve Kontrol. 66 (1): 83–102. doi:10.1016 / S0019-9958 (85) 80014-0. ISSN  0019-9958.
• Zamansky, Anna; Francez, Nissim; Winter, Yoad (1 Ekim 2006). "Lambek hesabı kullanan bir 'Doğal Mantık' çıkarım sistemi". Mantık, Dil ve Bilgi Dergisi. 15 (3): 273–295. doi:10.1007 / s10849-006-9018-x. ISSN  1572-9583. S2CID  8396885.
• Francez, Nissim (1 Haziran 2014). "İspat-Teorik Anlambilimde İki Taraflılık". Journal of Philosophical Logic. 43 (2): 239–259. doi:10.1007 / s10992-012-9261-3. ISSN  1573-0433. S2CID  20855471.
• Francez, Nissim (31 Ocak 2019). "İlgili Bağlaç Mantığı". Mantık ve Mantık Felsefesi. 28 (3): 409–425. doi:10.12775 / LLP.2019.007. ISSN  2300-9802.

Dış bağlantılar

• Nissim Francez, Google Scholar
• Nissim Francez -de Matematik Şecere Projesi
• Nissim Francez, şurada DBLP Kaynakça Sunucusu

Referanslar