Loading AI tools
来自维基百科，自由的百科全书
摩西·雅科夫·瓦爾迪 ForMemRS（希伯來語：משה יעקב ורדי，羅馬化：Moshe Ya'akov Vardi）[5]是一位以色列數學家和計算機科學家。他是美國萊斯大學計算工程系凱倫·奧斯特魯姆·喬治傑出服務教授。 [6] [1] [7]和甘迺迪研究所的教員顧問。 [8]他的興趣集中在邏輯在計算機科學中的應用，包括數據庫理論、有限模型理論、多智能體系統知識、計算機輔助驗證和推理，以及跨課程的邏輯教學。他是模型檢查、約束滿足和數據庫理論、常識（邏輯）和理論計算機科學方面的專家。 [9]
 | 此條目翻譯品質不佳。 (2022年6月1日) |
瓦爾迪撰寫或合著了 600 多篇技術論文[1] ，並編輯了多本論文集。他與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]
瓦爾迪是巴伊蘭大學的本科生，並在魏茨曼科學研究所獲得了理學碩士學位。 [3]他在1981 年於耶路撒冷希伯來大學獲得了博士學位，導師為Catriel Beeri。
瓦爾迪的研究興趣是計算機科學中的邏輯學。 [1] 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) 聯合贊助了阿隆佐·丘奇邏輯和計算傑出貢獻獎（與托馬斯·費德）。此外，瓦爾迪還擁有八所大學的榮譽博士學位：
瓦爾迪是古根海姆院士、 ACM 院士、 AAAI 院士、 [22]美國科學促進會院士以及英國皇家學會 (ForMemRS) 外籍會員。他被科學信息研究所評為高被引研究員，並當選為美國國家工程院、美國國家科學院院士。 [23]歐洲科學院和歐洲科學院(MAE)。 [5] 2010年當選美國藝術與科學院院士[24]他因「對計算機科學中數理邏輯的開發和使用做出的貢獻」而被列入美國數學會2019 年院士名單。 [25]
瓦爾迪與妻子帕梅拉·蓋耶 (Pamela Geyer) 住在德克薩斯州休斯頓。 [16]他的繼子 Aaron Hertzmann [26]也是Adobe Research的計算機科學家。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
