摩西·瓦爾迪
 | 此條目翻譯品質不佳。 (2022年6月1日) |
| 莫西·瓦爾迪 | |
|---|---|
 | |
| 出生 | Moshe Ya'akov Vardi 希伯來語：משה יעקב ורדי 1954年（69—70歲） 以色列 |
| 母校 | |
| 獎項 |
|
| 網站 | https://www.cs.rice.edu/~vardi/ |
| 科學生涯 | |
| 研究領域 | 邏輯學 自動機理論[3] |
| 機構 | 萊斯大學 IBM Research 史丹福大學 |
| 論文 | The Implication Problem for Data Dependencies in the Relational Model（1981） |
| 博士導師 | Catriel Beeri[4] |
| 博士生 | 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）.
| |||||||||||||||||||||||||||
| ||||||||||||||||||||||
| ||||||||||||||||||||||