摩西·瓦尔迪

莫西·瓦尔迪
莫西·瓦尔迪
出生	Moshe Ya'akov Vardi; 希伯來語：משה יעקב ורדי‎; 1954年（69—70歲）; 以色列
母校	巴伊兰大学（学士）; 魏茨曼科学研究学院 (硕士); 耶路撒冷希伯来大学 (博士);
奖项	ACM会士 (2000); 哥德尔奖 (2000); AAAI会士 (2004); Paris Kanellakis Award (2005); Harry H. Goode Memorial Award (2011); 美国科学院院士 (2015); 美国工程院院士; 欧洲科学院院士; 高德纳奖 (2021);
网站	https://www.cs.rice.edu/~vardi/
	科学生涯
研究领域	逻辑学; 自动机理论
机构	莱斯大学; IBM Research; 斯坦福大学
论文	The Implication Problem for Data Dependencies in the Relational Model（1981）
博士導師	Catriel Beeri
博士生	Kristin Yvonne Rozier

摩西·雅科夫·瓦尔迪 ForMemRS（希伯來語：משה יעקב ורדי‎，羅馬化：Moshe Ya'akov Vardi）^[5]是一位以色列数学家和计算机科学家。他是美国莱斯大学计算工程系凯伦·奥斯特鲁姆·乔治杰出服务教授。 ^[6] ^[3] ^[7]和肯尼迪研究所的教员顾问。 ^[8]他的兴趣集中在逻辑在计算机科学中的应用，包括数据库理论、有限模型理论、多智能体系统知识、计算机辅助验证和推理，以及跨课程的逻辑教学。他是模型检查、约束满足和数据库理论、常识（逻辑）和理论计算机科学方面的专家。 ^[9]

瓦尔迪撰写或合著了 600 多篇技术论文^[3] ，并编辑了多本论文集。他与Ronald Fagin 、 Joseph Halpern和Yoram Moses合著了《关于知识的推理》 ^[10] ，与 Erich Grädel、 Phokion G. Kolaitis 、 Leonid Libkin 、Maarten Marx、 Joel Spencer、Yde Venema以及Scott Weinstein合著了《有限模型理论及其应用》 ^[11] 。他曾担任ACM Communications的主编长达十年。 ^[12]

教育经历

瓦尔迪是巴伊兰大学的本科生，并在魏茨曼科学研究所获得了理学硕士学位。 ^[1]他在1981 年于耶路撒冷希伯来大学获得了博士学位，导师为Catriel Beeri。

职业和科学研究

瓦尔迪的研究兴趣是计算机科学中的逻辑学。 ^[3] 1994年1月至2002年6月，他担任莱斯大学计算机科学系系主任。 1993年加入莱斯大学之前，他曾在IBM研究院工作，同时也是斯坦福大学的博士后研究员。 ^[5] Vardi 担任多家国际期刊的编辑^{[需要解释]}曾任国际计算逻辑联合会有限公司董事^[13]他还担任计算机协会(ACM)工作迁移小组的联合主席。

奖项及荣誉

瓦尔迪是三项 IBM 杰出创新奖、2000 年哥德尔奖（因有限自动机时序逻辑方面的工作）、2021 年Knuth 奖、2005 年巴黎卡内拉基斯奖、2006年LICS测试奖的（共同）获奖者。此外他还荣膺： 2008 年和 2017 年 ACM 总统奖、欧洲科学院颁发的 2008 年计算科学布莱斯·帕斯卡奖章^[14] 、 ^[15]电气研究所计算机研究协会颁发的 2010 年杰出服务奖和电子工程师 (IEEE) 计算机协会的 2011 年Harry H. Goode 纪念奖、2018 年ACM 逻辑与计算特别兴趣小组(SIGLOG)、欧洲理论计算机科学协会(EATCS) 的杰出服务奖、 ^[16]欧洲计算机科学逻辑协会 (EACSL) 和库尔特·哥德尔学会 (KGS) 联合赞助了阿隆佐·丘奇逻辑和计算杰出贡献奖（与托马斯·费德）。此外，瓦尔迪还拥有八所大学的荣誉博士学位：

德国萨尔大学^[5]
奥尔良大学^[5]
法国格勒诺布尔阿尔卑斯大学(UGA) ^[17]
巴西南里奥格兰德联邦大学(UFRGS) ^[18]
比利时列日大学^[19]
奥地利维也纳工业大学
苏格兰爱丁堡大学^[20]
瑞典哥德堡大学^[21]

瓦尔迪是古根海姆院士、 ACM 院士、 AAAI 院士、 ^[22]美国科学促进会院士以及英国皇家学会 (ForMemRS) 外籍会员。他被科学信息研究所评为高被引研究员，并当选为美国国家工程院、美国国家科学院院士。 ^[23]欧洲科学院和欧洲科学院(MAE)。 ^[5] 2010年当选美国艺术与科学院院士^[24]他因“对计算机科学中数理逻辑的开发和使用做出的贡献”而被列入美国数学会2019 年院士名单。 ^[25]

个人生活

瓦尔迪与妻子帕梅拉·盖耶 (Pamela Geyer) 住在德克萨斯州休斯顿。 ^[16]他的继子 Aaron Hertzmann ^[26]也是Adobe Research的计算机科学家。

参考资料

^ ^1.0 ^1.1 People of ACM - Moshe Y. Vardi. acm.org. [2023-09-15]. （原始内容存档于2023-08-10）.
^ Moshe Y. Vardi: Computer and Information Sciences. nasonline.org. National Academy of Sciences. [2023-09-15]. （原始内容存档于2023-08-28）.
^ ^3.0 ^3.1 ^3.2 ^3.3 由Google学术搜索索引的摩西·瓦尔迪出版物
^ 摩西·瓦尔迪在數學譜系計畫的資料。
^ ^5.0 ^5.1 ^5.2 ^5.3 ^5.4 Moshe Y. Vardi. ae-info.org. Academia Europaea. [2023-09-15]. （原始内容存档于2023-09-15）.
^ Moshe Y. Vardi | Faculty | The People of Rice. profiles.rice.edu. Rice University. [16 May 2023]. （原始内容存档于2023-09-12）.
^ BOYD, JADE. Rice's Moshe Vardi honored as Distinguished Service Professor. Rice University. July 22, 2011 [April 10, 2012]. （原始内容存档于March 6, 2014）. Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments.
^ People. Ken Kennedy Institute | Rice University. [16 May 2023]. （原始内容存档于2023-08-30）（英语）.
^ Winslett, Marianne. Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof. ACM SIGMOD Record. 2006, 35: 56–64. S2CID 27479793. doi:10.1145/1121995.1122008.
^ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. Reasoning About Knowledge. Cambridge, Massachusetts: The MIT Press. 2003. ISBN 0-262-56200-6.
^ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde. Finite model theory and its applications. Berlin: Springer. 2007. ISBN 978-3-540-00428-8.
^ Vardi, M. Y. Artificial intelligence: Past and future. Communications of the ACM. 2012, 55: 5. doi:10.1145/2063176.2063177 .
^ INTERNATIONAL FEDERATION OF COMPUTATIONAL LOGIC LIMITED people. find-and-update.company-information.service.gov.uk. London, UK: GOV.UK. 26 March 2019 [16 May 2023]. （原始内容存档于2023-05-16）（英语）.
^ THE BLAISE PASCAL MEDAL 2008 (section: "Blaise Pascal Medal in Computational Science"). European Academy of Sciences. [April 27, 2017]. （原始内容存档于March 4, 2017）. Professor Moshe Y. VARDI, USA / In recognition of his outstanding contributions in several areas of computational science connected by their use of logic as an underlying methodology. His work has had fundamental and lasting impact on automatic verification, logic of knowledge, database theory, and finite-model theory
^ Does automation doom workers?. (George R. Brown School of Engineering at) Rice University. October 31, 2016 [April 27, 2017]. （原始内容存档于April 29, 2017）. the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences
^ ^16.0 ^16.1 Samuels, Jeanne F. Jewish Herald-Voice. The Portal to Texas History (54, Vol 105) (Houston, Texas: University of North Texas Libraries). 14 March 2013: 17 [16 May 2023]. （原始内容存档于2023-05-16）（英语）.
^ Vardi awarded honorary doctorate by Université Grenoble Alpes. rice.edu. [2023-09-15]. （原始内容存档于2023-06-04）.
^ Doctor Honoris Causa to Professor Moshe Vardi. ufrgs.br. 21 March 2016 [2023-09-15]. （原始内容存档于2023-02-10）.
^ L'ULiège honore 10 personnalités internationales et ses nouveaux diplômés docteurs (avec thèse). Université de Liège. 16 March 2017 [26 August 2022]. （原始内容存档于2023-02-10）.
^ Moshe Vardi - Humans, Machines, and Work: The Future is now. ed.ac.uk. [2023-09-15]. （原始内容存档于2022-06-01）.
^ Moshe Y. Vardi has been appointed honorary doctor at The IT faculty. gu.se. 23 April 2020 [2023-09-15]. （原始内容存档于2023-06-03）.
^ AAAI Fellows. aaai.org. Association for the Advancement of Artificial Intelligence. [2023-09-15]. （原始内容存档于2019-06-17）.
^ National Academy of Sciences Elections, Notices of the American Mathematical Society, August 2015, 62 (7): 826 .
^ Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences （页面存档备份，存于互联网档案馆）.
^ 2019 Class of the Fellows of the AMS, American Mathematical Society, [2018-11-07], （原始内容存档于2020-02-26）
^ Aaron Hertzmann: Principal Scientist, Adobe Research. toronto.edu. [2023-09-15]. （原始内容存档于2023-06-13）.

[weiz-1] 1.0 ^1.1 People of ACM - Moshe Y. Vardi. acm.org. [2023-09-15]. （原始内容存档于2023-08-10）.

[nas-2] Moshe Y. Vardi: Computer and Information Sciences. nasonline.org. National Academy of Sciences. [2023-09-15]. （原始内容存档于2023-08-28）.

[gs-3] 3.0 ^3.1 ^3.2 ^3.3 由Google学术搜索索引的摩西·瓦尔迪出版物

[mathgene-4] 摩西·瓦尔迪在數學譜系計畫的資料。

[mae-5] 5.0 ^5.1 ^5.2 ^5.3 ^5.4 Moshe Y. Vardi. ae-info.org. Academia Europaea. [2023-09-15]. （原始内容存档于2023-09-15）.

[profilerice-6] Moshe Y. Vardi | Faculty | The People of Rice. profiles.rice.edu. Rice University. [16 May 2023]. （原始内容存档于2023-09-12）.

[MV_Rice_Distinguished_Service_Prof-7] BOYD, JADE. Rice's Moshe Vardi honored as Distinguished Service Professor. Rice University. July 22, 2011 [April 10, 2012]. （原始内容存档于March 6, 2014）. Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments.

[8] People. Ken Kennedy Institute | Rice University. [16 May 2023]. （原始内容存档于2023-08-30）（英语）.

[9] Winslett, Marianne. Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof. ACM SIGMOD Record. 2006, 35: 56–64. S2CID 27479793. doi:10.1145/1121995.1122008.

[rak-10] Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. Reasoning About Knowledge. Cambridge, Massachusetts: The MIT Press. 2003. ISBN 0-262-56200-6.

[fmtaia-11] Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde. Finite model theory and its applications. Berlin: Springer. 2007. ISBN 978-3-540-00428-8.

[12] Vardi, M. Y. Artificial intelligence: Past and future. Communications of the ACM. 2012, 55: 5. doi:10.1145/2063176.2063177 .

[13] INTERNATIONAL FEDERATION OF COMPUTATIONAL LOGIC LIMITED people. find-and-update.company-information.service.gov.uk. London, UK: GOV.UK. 26 March 2019 [16 May 2023]. （原始内容存档于2023-05-16）（英语）.

[14] THE BLAISE PASCAL MEDAL 2008 (section: "Blaise Pascal Medal in Computational Science"). European Academy of Sciences. [April 27, 2017]. （原始内容存档于March 4, 2017）. Professor Moshe Y. VARDI, USA / In recognition of his outstanding contributions in several areas of computational science connected by their use of logic as an underlying methodology. His work has had fundamental and lasting impact on automatic verification, logic of knowledge, database theory, and finite-model theory

[15] Does automation doom workers?. (George R. Brown School of Engineering at) Rice University. October 31, 2016 [April 27, 2017]. （原始内容存档于April 29, 2017）. the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences

[herald-16] 16.0 ^16.1 Samuels, Jeanne F. Jewish Herald-Voice. The Portal to Texas History (54, Vol 105) (Houston, Texas: University of North Texas Libraries). 14 March 2013: 17 [16 May 2023]. （原始内容存档于2023-05-16）（英语）.

[17] Vardi awarded honorary doctorate by Université Grenoble Alpes. rice.edu. [2023-09-15]. （原始内容存档于2023-06-04）.

[18] Doctor Honoris Causa to Professor Moshe Vardi. ufrgs.br. 21 March 2016 [2023-09-15]. （原始内容存档于2023-02-10）.

[19] L'ULiège honore 10 personnalités internationales et ses nouveaux diplômés docteurs (avec thèse). Université de Liège. 16 March 2017 [26 August 2022]. （原始内容存档于2023-02-10）.

[edinburgh-20] Moshe Vardi - Humans, Machines, and Work: The Future is now. ed.ac.uk. [2023-09-15]. （原始内容存档于2022-06-01）.

[21] Moshe Y. Vardi has been appointed honorary doctor at The IT faculty. gu.se. 23 April 2020 [2023-09-15]. （原始内容存档于2023-06-03）.

[aaai-22] AAAI Fellows. aaai.org. Association for the Advancement of Artificial Intelligence. [2023-09-15]. （原始内容存档于2019-06-17）.

[23] National Academy of Sciences Elections, Notices of the American Mathematical Society, August 2015, 62 (7): 826 .

[24] Rice's Moshe Y. Vardi elected fellow of American Academy of Arts and Sciences （页面存档备份，存于互联网档案馆）.

[25] 2019 Class of the Fellows of the AMS, American Mathematical Society, [2018-11-07], （原始内容存档于2020-02-26）

[26] Aaron Hertzmann: Principal Scientist, Adobe Research. toronto.edu. [2023-09-15]. （原始内容存档于2023-06-13）.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]