オルナ・クプファーマン

オルナ・クプファーマン
母校	テクニオン - イスラエル工科大学
科学者としてのキャリア
機関	エルサレム・ヘブライ大学 カリフォルニア大学バークレー校 ベル研究所
論文	分岐時間時相論理のモデル検査 (1995)
博士課程の指導教員	オルナ・グルンベルグ
Webサイト	クッファーマングループ

オルナ・クプファーマンは、エルサレム・ヘブライ大学のコンピューターサイエンスの教授であり、元副学長です。彼女は2016年に ヨーロッパアカデミーに選出されました。

クプファーマンは1986年から1988年までイスラエル国防軍に勤務した。^[1]彼女は1995年にテクニオンで博士号を取得し、 ^[2]そこでオルナ・グルンバーグの指導を受けた。 1996年にクプファーマンはベル研究所の技術スタッフに加わった。 彼女は1997年にカリフォルニア大学バークレー校に移り、トーマス・ヘンジンガーの指導を受けた。^[1]

1998年、クプファーマンはエルサレムのヘブライ大学の上級講師に任命されました。^[1]彼女は2005年から2008年までコンピュータサイエンスの責任者を務め、2008年から2011年まではエンジニアリングの責任者を務めました。^[3]彼女は2008年に教授になりました。 ^[3] 2012年、クプファーマンは高品質のリアクティブシステムを研究するために欧州研究会議の助成金を獲得しました。 ^[4]彼女はハードウェアとソフトウェアの両方のための形式検証と合成コンピュータシステムを開発しています。^[4]彼女はオートマトン理論のアプローチを使用して分岐時間モデルをチェックします。^{[3] [5]}

クッファーマンはエルサレム・ヘブライ大学学長のジェンダー問題顧問を務めた。ワイツマン科学研究所で学術界における男女平等の実現の課題について講演した。^[6]彼女はエルサレム・ヘブライ大学に男女別教育を終わらせるよう求めた。^{[7] [8]}

クッファーマンは2016年にヨーロッパアカデミー会員に選出された。^[9]また、長年にわたる優れた教育に対してエルサレム・ヘブライ大学からマイケル・ミルケン賞を受賞した。 ^[2]

クッファーマンは、 Formal Methods in System DesignとLogical Methods in Computer Scienceの編集委員を務めています。また、ACM Transactions on Computational Logicの編集長でもあります。^[2]

• Kupferman, Orna (2002 年 9 月). 「交互時間テンポラル ロジック」. Journal of the ACM . 49 (5): 672–713. doi :10.1145/585265.585270. S2CID  15984608.
• Kupferman, Orna (2000 年 3 月)。「分岐時間モデル検査へのオートマトン理論的アプローチ」。Journal of the ACM。47 ( 2): 312–360。doi : 10.1145/333979.333987。S2CID  1216035 。
• Kupferman, Orna (1999 年 5 月)。「交互時間時相論理」。構成性:重要な違い。コンピュータ サイエンスの講義ノート。第 1536 巻。pp. 23–60。doi : 10.1007/3-540-49213-5_2。ISBN 978-3-540-65493-3。