ニシム・フランセ

ニシム・フランチェス （ヘブライ語：נסים פרנסיז、1944年1月19日生まれ）は、イスラエルの教授であり、テクニオンのコンピュータサイエンス学部の名誉教授であり、同学部の計算言語学研究室の元所長である。^[1]

ニシム・フランチェスはブルガリアで生まれました。1949年に家族はイスラエルに移住しました。 1965年にエルサレムのヘブライ大学で数学と哲学の学士号を取得しました。イスラエル国防軍での兵役を終えた後、レホヴォトのワイツマン研究所応用数学部で学び、1971年に 修士号を取得しました。

彼はそこで研究を続け、 1976年にアミール・プヌエリ教授の指導の下でフランチェス博士号を取得した。^[2]

フランチェスは1976年に北アイルランドのベルファストにあるクイーンズ大学の研究員でした。 1年後、南カリフォルニア大学（USC）のコンピューターサイエンス学部に助教授として加わりました。

1978年に彼はイスラエルに戻り、ハイファのテクニオンのコンピュータサイエンス学部の講師となった。1年後、彼は上級講師に昇進し、1984年に准教授となった。1991年にテクニオンのコンピュータサイエンス学部の教授となり、1996年から2006年まで、学部の計算言語学研究室の責任者を務めた。フランチェスは2000年から2010年まで、学部のコンピュータサイエンスのバンク・レウミ教授を務め、テクニオンを名誉教授として退職した。^[2]

フランチェスは、サバティカル休暇と夏季休暇を利用して、1981年と1982年の夏にハーバード大学エイケン計算研究所の研究員を務めました。また、フィンランドのトゥルクにあるアボアカデミー（1988年）とオランダのユトレヒト大学コンピュータサイエンス学部（1992年）の客員研究員でもありました。フランチェスは、マンチェスター大学コンピュータサイエンス学部の名誉客員教授（1996-1997年）、エディンバラ大学情報学部HCRC （2002年）^[3]とセントアンドリュース大学 コンピュータサイエンス学部（2007年）の上級学術訪問員でした。 ^[2]

フランチェスは1981年から1982年までIBMサイエンティフィックセンター（ハイファ）で勤務し、その1年後には米国ニューヨーク州ヨークタウンハイツのIBM-TJワトソン研究所で客員研究員として勤務した。1983年から1985年にかけてはIBMサイエンティフィックセンター（ハイファ）でPrologプログラミング環境の設計と実装に携わった。1986年と1987年の夏、および1989年から1990年の夏には米国テキサス州オースティンのマイクロエレクトロニクスおよびコンピュータテクノロジー社（MCC）で客員研究員を務めた。1997年にはアムステルダムのCentrum Wiskunde & Informatica（CWI）で客員研究員を務めた。^[2]

フランチェスの現在の研究は、論理と自然言語の証明理論的意味論に焦点を当てています。^[1]

彼はまた、自然言語の形式意味論、型論理文法、計算言語学、統一に基づく文法形式論（LFG、HPSG）の研究も行っています。過去には、プログラミング言語の意味論、プログラム検証、並行および分散プログラミング、論理プログラミングに興味を持っていました。^[4]

フランチェスは、以下の協会の会員でした：計算機協会（SIGPLAN）、IEEEコンピュータ協会、計算言語学協会（ACL）、論理プログラミング協会、論理、言語、情報国際協会（FoLLI）、理論計算機科学欧州協会（EATCS）、イスラエル理論言語学協会（IATL）。^[2]

彼はまた、2012年にイアン・プラット・ハートマンとともにStudia Logica Logic and Natural Languageの特別号のゲスト編集者を務めた。 ^[5]

• Francez, Nissim (1992)。プログラム検証。Addison-Wesley Publishing Company。ISBN 978-0-201-41608-4。
• Francez, Nissim; Forman, Ira R. (1996)。『相互作用するプロセス: 協調分散プログラミングへのマルチパーティアプローチ』Addison- Wesley。ISBN 978-0-201-56528-7。
• Francez, Nissim; Wintner, Shuly (2011). 統一文法. Cambridge University Press. ISBN 978-1-139-50357-0。
• フランシス、ニッシム (2012)。公平性。シュプリンガーのサイエンス＆ビジネスメディア。ISBN 978-1-4612-4886-6。
• Francez, Nissim (2015)。証明理論的意味論。大学出版。ISBN 978-1-84890-183-4。

•  Francez, Nissim; Pnueli, Amir (1978 年6月 1 日)。「巡回プログラムの証明方法」。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. (1985 年 7 月 1 日)。「ガードされたコマンドの公正な終了の証明規則」。情報と制御。66 (1): 83–102。doi :10.1016/S0019-9958(85)80014-0。ISSN 0019-9958  。
• Zamansky, Anna; Francez, Nissim; Winter, Yoad (2006 年 10 月1日)。「Lambek 計算を使用した「自然論理」推論システム」。Journal of Logic , Language and Information。15 (3): 273–295。doi : 10.1007 /s10849-006-9018-x。ISSN 1572-9583。S2CID  8396885  。
•  Francez, Nissim (2014 年6月1日)。「証明理論的意味論における双方向性」。Journal of Philosophical Logic。43 ( 2): 239–259。doi : 10.1007 /s10992-012-9261-3。ISSN 1573-0433。S2CID 20855471  。
• Francez, Nissim (2019年1月31日). 「関連連結論理」.論理と論理哲学. 28 (3): 409–425. doi : 10.12775/LLP.2019.007 . ISSN  2300-9802.

• ニッシム・フランチェス、Google Scholar
• 数学系譜プロジェクトのニシム・フランチェス
• Nissim Francez、DBLP書誌サーバー