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.

世界経済フォーラムについて

パートナーとメンバー

  • 参加する

言語

プライバシーポリシーと利用規約

© 2024 世界経済フォーラム