莱斯大学Moshe Vardi赢得计算机科学领域的最高荣誉

　　Vardi、University教授、Karen Ostrum George计算工程杰出服务教授和多伦多大学计算机科学家Hector Levesque分别获得Newell奖，该奖项表彰在计算机科学领域有广泛的职业贡献，或计算机科学和其他学科之间的桥梁。Vardi因“将逻辑发展为统一的基本框架和建模计算系统的工具”而被认可。

　　Newell奖由美国计算机协会(ACM)和人工智能发展协会(AAAI)联合颁发，奖金为1万美元。莱斯大学的莉迪亚·卡弗拉基(Lydia Kavraki)于2020年获得该奖项。

　　这是瓦迪忙碌的一个月。上周，他被ACM和电气与电子工程师协会(IEEE)授予了理论计算机科学的最高荣誉之一——唐纳德·e·克努特奖。他将于5月27日在著名的年度维也纳Gödel讲座上发表演讲。

　　在Newell奖的公告中，ACM引用了Vardi对广泛领域的基本贡献，包括数据库理论、程序验证、有限模型理论、知识推理和约束满足。

　　莱斯大学计算机科学系主任克里斯•杰梅因(Chris Jermaine)表示:“这个奖项非常适合摩西。”“我是一名数据库研究员，数据库研究界把Moshe视为自己的一员。他有一篇数据库领域的经典论文。但人工智能、正式方法和逻辑领域的人们对Moshe的感觉是一样的。我遇到一位来自世界顶级大学的哲学家，他知道我来自莱斯大学，于是问我:“你认识摩西·瓦迪吗?”’对于每一个领域，摩西都是其中之一，并做出了根本性的贡献。”

　　Vardi于1993年加入莱斯大学。他在莱斯大学的课程中教授逻辑和研究伦理学，是贝克公共政策研究所的教师学者，也是莱斯技术、文化和社会倡议的领导者。他撰写或合作撰写了600多篇文章和两本书，是ACM Communications的高级编辑，此前担任了10年的主编。

　　他是ACM和IEEE的成员，国家工程院、国家科学院、美国艺术与科学院和欧洲科学院的成员。他以前的许多荣誉包括古根海姆奖学金、ACM主席奖、IEEE Goode奖、欧洲学院的Blaise Pascal奖章和ACM Gödel奖。

　　-希瑟·费雷拉(Heather Ferreyra)是莱斯大学计算机科学系的公关和营销专家。

　　以上是关于莱斯大学Moshe Vardi赢得计算机科学领域的最高荣誉完整解答，要想获取更多关于美国留学资讯，欢迎您在线咨询托普仕留学老师，托普仕留学专注美国前30名校申请，独创5V1服务模式，严格限制招生数量，成立13期间，陆续收获哈佛耶鲁等一大批offer，成为业界首肯的留学中介!