摩西·瓦尔迪 摩西雅科夫瓦尔迪 ForMemRS希伯來語משה יעקב ורדי羅馬化Moshe Yaakov Vardi是一位以色列数学家和计算机科学家他是美国莱斯大学计算工程系凯伦奥斯特鲁姆乔治杰出服务教授 和肯尼迪研究所的教员顾问 他的兴趣集中在逻辑在计算机科学中的应用包括数据库理论有限模型理论多智能体系统知识计算机辅助验证和推理以及跨课程的逻辑教学他是模型检查约束满足和数据库理论常识逻辑和理论计算机科学方面的专家 瓦尔迪撰写或合著了  多篇技术论文 并编辑了多本论文集他与Ronald Fagin  Joseph Halpern和Yoram Moses合著了关于知识的推理 与 Erich Grädel Phokion G Kolaitis  Leonid Libkin Maarten Marx Joel SpencerYde Venema以及Scott Weinstein合著了有限模型理论及其应用 他曾担任ACM Communications的主编长达十年