摩西·瓦尔迪
参考资料

1 2  . acm.org.   [2023-09-15]. （原始内容存档于2023-08-10）.
↑  . nasonline.org. National Academy of Sciences.   [2023-09-15]. （原始内容存档于2023-08-28）.
1 2 3 4  由Google学术搜索索引的摩西·瓦尔迪出版物
↑  摩西·瓦尔迪在數學譜系計畫的資料。
1 2 3 4 5  . ae-info.org. Academia Europaea.   [2023-09-15]. （原始内容存档于2023-09-15）.
↑  . profiles.rice.edu. Rice University.   [16 May 2023]. （原始内容存档于2023-09-12）.
↑  BOYD, JADE. . 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.
↑  . Ken Kennedy Institute | Rice University.   [16 May 2023]. （原始内容存档于2023-08-30） （英语）.
↑  Winslett, Marianne. . ACM SIGMOD Record. 2006, 35: 56–64. S2CID 27479793. doi:10.1145/1121995.1122008.
↑  Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. . 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. . Berlin: Springer. 2007. ISBN 978-3-540-00428-8.
↑  Vardi, M. Y. . Communications of the ACM. 2012, 55: 5. doi:10.1145/2063176.2063177 .
↑  . find-and-update.company-information.service.gov.uk. London, UK: GOV.UK. 26 March 2019  [16 May 2023]. （原始内容存档于2023-05-16） （英语）.
↑  . 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
↑  . (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
1 2  Samuels, Jeanne F. . 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） （英语）.
↑  . rice.edu.   [2023-09-15]. （原始内容存档于2023-06-04）.
↑  . ufrgs.br. 21 March 2016  [2023-09-15]. （原始内容存档于2023-02-10）.
↑  . Université de Liège. 16 March 2017  [26 August 2022]. （原始内容存档于2023-02-10）.
↑  . ed.ac.uk.   [2023-09-15]. （原始内容存档于2022-06-01）.
↑  . gu.se. 23 April 2020  [2023-09-15]. （原始内容存档于2023-06-03）.
↑  . aaai.org. Association for the Advancement of Artificial Intelligence.   [2023-09-15]. （原始内容存档于2019-06-17）.
↑  , 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 （页面存档备份，存于）.
↑  , American Mathematical Society,   [2018-11-07], （原始内容存档于2020-02-26）
↑  . toronto.edu.   [2023-09-15]. （原始内容存档于2023-06-13）.
|  论 编哥德尔奖获得者 |
| --- | --- |
1990年代:  1993年：鮑鮑伊（英语：）、戈德瓦塞爾、米卡利、莫蘭（英语：）、拉克福（英语：） /  1994年：哈斯塔德（英语：） /  1995年：伊莫曼（英语：）、塞萊普切尼（英语：） /  1996年：傑魯姆（英语：）、辛克萊爾 /  1997年：哈爾彭（英语：）、莫塞斯（英语：） /  1998年：戶田誠之助（日语：） /  1999年：秀爾 
2000年代:  2000年：瓦迪（英语：）、沃爾珀（英语：） /  2001年：阿羅拉（英语：）、費奇（英语：）、戈德瓦塞爾、隆德（英语：）、拉斯洛、莫特瓦尼（英语：）、沙夫拉（英语：）、蘇丹（英语：）、塞格德（英语：） /  2002年：賽尼澤格（英语：） /  2003年：弗羅因德、沙皮爾 /  2004年：赫利希（英语：）、薩克斯（英语：）、沙維特（英语：）和札哈羅格羅（英语：） /  2005年：阿隆、馬蒂亞斯（英语：）、塞格德（英语：） /  2006年：阿格拉瓦爾（英语：）、卡亞爾（英语：）、沙克謝納（英语：） /  2007年：拉茲波洛夫（英语：）、魯迪奇（英语：） /  2008年：斯皮爾曼（英语：）、滕尚华 /  2009年：萊因戈爾德（英语：）、瓦德漢（英语：）、威格德森 
2010年代:  2010年：阿羅拉（英语：）、米切爾（英语：） /  2011年：哈斯塔德（英语：） /  2012年：庫特索皮亞斯（英语：）、帕帕季米特里烏、尼散、羅能、羅加登（英语：）、陶爾多什·É /  2013年：博内、富蘭克林（英语：）、朱斯（英语：） /  2014年：法金（英语：）、洛特姆、瑙爾（英语：） /  2015年：斯皮爾曼（英语：）、滕尚华 /  2016年：布魯克斯、歐赫恩（英语：） /  2017年：德沃克（英语：）、麥克謝里（英语：）、尼西姆（英语：）、史密斯（英语：） /  2018年：瑞格夫（英语：） /  2019年：迪努爾（英语：） 
2020年代:  2020年：莫瑟、陶爾多什·G（英语：） /  2021年：布拉托夫、蔡进一（英语：）、陈汐（英语：）、戴爾（英语：）、里切爾比 /  2022年：布拉克斯基、金特里（英语：）、維昆塔森 
Category:哥德尔奖获得者
|  论 编高德納獎获得者 |
| --- | --- |
1990年代:  1996年：姚期智  1997年：莱斯利·瓦利安特  1999年：洛瓦斯·拉斯洛 
2000年代:  2000年：杰弗瑞·乌尔曼  2002年：赫里斯托斯·帕帕季米特里乌  2003年：奥伊陶伊·米克洛什（英语：）  2007年：南希·林奇（英语：）  2008年：沃爾克·施特拉森 
2010年代:  2010年：大卫·斯蒂夫勒·约翰逊（英语：）  2011年：拉文德兰·卡纳安（英语：）  2012年：列昂尼德·莱温（英语：）  2013年：加里·米勒（英语：）  2014年：理查德·利普顿（英语：）  2015年：鲍鲍伊·拉斯洛（英语：）  2016年：诺姆·尼散  2017年：奥代德·戈德赖希（英语：）  2018年：约翰·霍斯塔（英语：）  2019年：阿维·威格德森 
2020年代:  2020年：辛西婭·德沃克（英语：）  2021年：摩西·瓦尔迪  2022年：諾加·阿隆 
|   |
| --- | --- |
国际:  ISNI  VIAF  WorldCat 
各地:  挪威  法国  BnF data  德国  以色列  比利时  美国  捷克  荷兰 
学术:  计算机协会  DBLP  Google学术  MathSciNet  数学谱系计划  zbMATH 
其他:  IdRef 
瓦尔迪在格勒诺布尔发表荣誉博士学位获奖感言