欢迎光临托普仕留学!

视频精选 网站导航
托普仕留学

专注美国前30院校
规划与申请

400 - 686 - 9991

官方客服

托普仕留学 当前位置: 托普仕留学 > 美国院校资讯 > 正文
莱斯大学Moshe Vardi赢得计算机科学领域的最高荣誉
上传时间: 2021-05-28 18:44:09           浏览量: 1989

莱斯大学的Moshe Vardi获得了2021年ACM/AAAI Allen Newell奖,因为他在逻辑和计算机科学界面方面的有影响力的工作。下面准备申请的同学,随着托普仕老师详细了解。

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

image.png

  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,成为业界首肯的留学中介!

托普仕留学