Moshe Vardi is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.