摩西·瓦尔迪
摩西·雅科夫·瓦尔迪（，）是一位以色列数学家和计算机科学家。他是美国萊斯大學计算工程系凯伦·奥斯特鲁姆·乔治杰出服务教授。 和肯尼迪研究所的教员顾问。 他的兴趣集中在逻辑在计算机科学中的应用，包括数据库理论、有限模型理论、多智能体系统知识、计算机辅助验证和推理，以及跨课程的逻辑教学。他是模型检查、约束满足和数据库理论、常识（逻辑）和理论计算机科学方面的专家。 瓦尔迪撰写或合著了 600 多篇技术论文 ，并编辑了多本论文集。他与Ronal…
标签：#以色列编辑
共 1 篇文章