Moshe Vardi とは

Moshe Ya'akov Vardi(ヘブライ語:משהיעקבורדי)は、イスラエルの数学者でコンピュータ科学者です。彼は米国ライス大学のコンピュータサイエンス教授です。彼は、計算工学のKaren Ostrum George教授、著名なサービス教授、Ken Kennedy情報技術研究所のディレクターです。彼の関心は、データベース理論、有限モデル理論、マルチエージェントシステムの知識、コンピュータ支援の検証と推論、カリキュラム全体の論理の教授など、コンピュータ科学への論理の応用に焦点を当てています。彼はモデル検査、制約充足とデータベース理論、常識(論理)、理論的コンピュータ科学の専門家です。
Moshe Y. Vardiは400以上の技術論文の著者であり、いくつかのコレクションの編集者です。彼は、ロナルド・ファギン、ジョセフ・ハルペルン、ヨラム・モーゼス、有限モデル理論とエーリッヒ・グラーデル、フォキオン・G・コオラティス、レオニード・リビンキン、マールテン・マルクス、ジョエル・スペンサー、イデ・ヴェネマ、スコット・ワインスタインとの共著。 ACMの元編集長も務めています。