モシェ・ヴァルディ

モシェ・ヴァルディ MAE ForMemRS
生まれる	モーシェ・ヤアコフ・ヴァルディ ・ヘブライ語: משה יעקב ורדי 1954年（69～70歳） イスラエル
母校	バーイラン大学 ワイツマン科学研究所（修士）[4] エルサレム・ヘブライ大学（博士号）
受賞歴	ACMフェロー（2000） ゲーデル賞(2000) AAAIフェロー（2004） パリ・カネラキス賞（2005年） ハリー・H・グッド記念賞（2011年） 米国科学アカデミー会員（2015年）[1] クヌース賞（2021年）
科学者としてのキャリア
フィールド	論理 計算[2]
機関	ライス大学 IBMリサーチ スタンフォード大学
論文	リレーショナル モデルにおけるデータ依存性の含意問題 (1981)
博士課程の指導教員	カトリエル・ベリ[3]
博士課程の学生	クリスティン・イヴォンヌ・ロジエ
Webサイト	翻訳:

Moshe Ya'akov Vardi（ヘブライ語：משה יעקב ורדי）MAE ForMemRS ^{[5]はイスラエルの}理論計算機科学者です。彼は、米国ライス大学の計算工学におけるKaren Ostrum George特別教授です。 ^{[6] [2] [7]}ケン・ケネディ研究所の教員顧問も務めています。^{[8]彼の関心は、}データベース理論、有限モデル理論、マルチエージェントシステムの知識、コンピュータ支援検証と推論、カリキュラム全体にわたる論理の指導など、論理の計算機科学への応用に焦点を当てています。彼は、モデル検査、制約充足とデータベース理論、共通知識（論理）、理論計算機科学の専門家です。^{[9] [10]}

^{Vardiは700本以上の技術論文[2]}を執筆または共著しており、いくつかのコレクションを編集しています。Ronald Fagin、Joseph Halpern、Yoram Mosesとの共著であるReasoning About Knowledge [ ^11] 、 Erich Grädel、Phokion G. Kolaitis、Leonid Libkin、Maarten Marx、Joel Spencer 、Yde Venema、Scott Weinsteinとの共著であるFinite Model Theory and Its Applications ^[12]を執筆しています。彼は10年間Communications of the ACMの編集長を務めた後、現在は同誌の上級編集者です。 ^[13]

ヴァルディはバル・イラン大学の学部生で、ワイツマン科学研究所で理学修士号を取得しました。^[4]彼の博士号はカトリエル・ベエリの指導のもと、1981年にエルサレムのヘブライ大学から授与されました。 ^[3]

ヴァーディの研究対象は論理と計算です。^[2]彼は1994年1月から2002年6月までライス大学のコンピュータサイエンス学部の学部長を務めました。1993年にライス大学に入局する前は、 IBMリサーチで働き、スタンフォード大学のポスドク研究員でもありました。^[5]ヴァーディはいくつかの国際ジャーナルの編集者を務めており^{[説明が必要]}、以前は国際計算論理連盟の理事でした。 ^{[14]彼はまた、}ジョブマイグレーションに関する計算機協会（ACM）タスクフォースの共同議長を務めました。[^{いつ？ ]}

Vardi 氏は、IBM Outstanding Innovation Awards を 3 回受賞し、2000 年のゲーデル賞(有限オートマトンによる時相論理に関する研究) の共同受​​賞者、 2021 年のクヌース賞受賞者、2005 年のParis Kanellakis Awardの共同受​​賞者 、およびLICS 2006 Test-of-Time Awardの共同受​​賞者でもあります。また、2008年と2017年のACM会長賞、2008年欧州科学アカデミーによる計算科学におけるブレーズ・パスカル賞^{[15] 、 [16]、} 2010年コンピューティング研究協会による功労賞、電気電子技術者協会（IEEE）コンピュータ協会による2011年ハリー・H・グッド記念賞、2018年ACM論理と計算に関する特別興味グループ（SIGLOG）、欧州理論計算機科学協会（EATCS）による功労賞^[17] 、欧州計算機科学論理協会（EACSL）、およびクルト・ゲーデル協会（KGS）がトーマス・フェダーと共同で主催する論理と計算への顕著な貢献に対するアロンゾ・チャーチ賞も受賞している。ヴァルディは、以下の8つの大学から名誉博士号も授与されている。

1. ザールラント大学、ドイツ^[5]
2. オルレアン大学^[5]
3. フランスのグルノーブル・アルプ大学（UGA） ^[18]
4. ブラジルのリオグランデドスル連邦大学(UFRGS) ^[19]
5. ベルギーのリエージュ大学^[20]
6. オーストリアのウィーン工科大学^[要出典]
7. スコットランドのエディンバラ大学^[21]
8. スウェーデンのヨーテボリ大学^[22]

ヴァルディはグッゲンハイムフェロー、ACMフェロー、AAAIフェロー、^[23] アメリカ科学振興協会フェロー、王立協会外国人会員（ForMemRS）である。彼は科学情報研究所によって高引用研究者に指定され、米国工学アカデミー、米国科学アカデミーの会員に選出された。^{[1] [24]}欧州科学アカデミー、およびアカデミアヨーロッパ（MAE） ^[5]。彼は2010年にアメリカ芸術科学アカデミーのフェローに選出された。 ^{[25]彼は「コンピュータサイエンスにおける数理論理学の開発と使用への貢献」により、2019年の}アメリカ数学会フェローに含まれた。^[26]

ヴァルディは妻のパメラ・ガイヤーとテキサス州ヒューストンに住んでいる。^[17] 継子のアーロン・ハーツマン^[27]もアドビ・リサーチのコンピューター科学者である。