レノア・ザック

レノア・D・ザック（1958年生まれ）はイスラエル系アメリカ人のコンピュータ科学者であり、ソフトウェア工学における形式手法や情報プライバシーを研究している。^[1]彼女はイリノイ大学シカゴ校のコンピュータサイエンスの研究教授である。^[2]

ザックは1958年にテルアビブで生まれ、1979年にイスラエル工科大学テクニオンで学士号を取得しました。彼女はコンピュータサイエンスの大学院研究のためにワイツマン科学研究所に進み、1983年に修士号^[3]、1987年に博士号を取得しました。 ^[4]彼女の博士論文「過去の時相論理」は時相論理に関するもので、アミール・プヌエリの指導を受けました。^[5]

彼女はイェール大学^[4]、その後ニューヨーク大学でコンピュータサイエンスの准教授を務め、2000年代初頭にイリノイ大学シカゴ校に異動した^{[6] 。}

• リヒテンシュタイン、オルナ、プヌエリ、アミール、ザック、レノア D. (1985)、「過去の栄光」、パリク、ロヒト(編)、プログラムの論理、カンファレンス、ブルックリン カレッジ、ニューヨーク、ニューヨーク、米国、1985 年 6 月 17 ～ 19 日、議事録、コンピュータ サイエンスの講義ノート、第 193 巻、シュプリンガー、pp. 196 ～ 218、doi :10.1007/3-540-15648-8_16
• Halpern, Joseph Y. ; Zuck, Lenore D. (1992)、「少しの知識で大きな成果が得られる: プロトコルファミリーの知識ベースの導出と正しさの証明」、Journal of the ACM、39 (3): 449–478、doi : 10.1145/146637.146638、S2CID  52149700
• Pnueli, Amir ; Zuck, Lenore D. (1993)、「確率的検証」、Information and Computation、103 (1): 1–29、doi : 10.1006/inco.1993.1012、MR  1213090
• Afek, Yehuda ; Attiya, Hagit ; Fekete, Alan D.; Fischer, Michael J. ; Lynch, Nancy A. ; Mansour, Yishay; Wang, Da-Wei; Zuck, Lenore D. (1994)、「信頼性の低いチャネルを介した信頼性の高い通信」、Journal of the ACM、41 (6): 1267–1297、doi : 10.1145/195613.195651、S2CID  8784721
• Carriero, Nicholas; Gelernter, David ; Zuck, Lenore D. (1994)、「Bauhaus Linda」、Ciancarini, Paolo; Nierstrasz, Oscar; Yonezawa, Akinori (eds.)、並行システムのためのオブジェクトベースのモデルと言語、ECOOP'94 ワークショップ「並列処理と分散の調整のためのモデルと言語」、イタリア、ボローニャ、1994 年 7 月 5 日、選択された論文、Lecture Notes in Computer Science、vol. 924、Springer、pp. 66–76、doi :10.1007/3-540-59450-7_5
• Pnueli, Amir ; Ruah, Sitvanit ; Zuck, Lenore D. (2001)、「目に見えない不変量による自動演繹検証」、Margaria, Tiziana ; Yi, Wang (編)、システムの構築と分析のためのツールとアルゴリズム、第 7 回国際会議、TACAS 2001、ソフトウェアの理論と実践に関するヨーロッパ合同会議の一環として開催、ETAPS 2001 ジェノバ、イタリア、2001 年 4 月 2 ～ 6 日、議事録、Lecture Notes in Computer Science、第 2031 巻、Springer、pp. 82 ～ 97、doi : 10.1007/3-540-45319-9_7
• Pnueli, Amir ; Xu, Jessie; Zuck, Lenore D. (2002)、「(0, 1, ∞) カウンタ抽象化による活性」、Brinksma, Ed; Larsen, Kim Guldstrand (編)、Computer Aided Verification、第 14 回国際会議、CAV 2002、デンマーク、コペンハーゲン、2002 年 7 月 27 ～ 31 日、議事録、Lecture Notes in Computer Science、vol. 2404、Springer、pp. 107 ～ 122、doi : 10.1007/3-540-45657-0_9

• ホームページ
• Google Scholarにインデックスされた Lenore Zuck の出版物