Moshe Y. Vardi

Professor of Computer Science, Rice University

Moshe Y. Vardi is Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology. His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum.

关于我们

  • 我们的任务
  • 我们的历史
  • 领导团队
  • 影响力

加入我们

快捷链接

语言版本

隐私政策和服务条款

站点地图

© 2025 世界经济论坛