Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of 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.

The George R. Brown School of Engineering is an academic school at Rice University in Houston, Texas. It contains the departments of Bioengineering, Chemical and Biomolecular Engineering, Civil and Environmental Engineering, Computational Applied Mathematics and Operations Research, Computer Science, Electrical Engineering and Computer Engineering, Materials Science and Nanoengineering, Mechanical Engineering, and Statistics. Engineering has been part of Rice's curriculum since the university's founding in 1912, but the school was not established as its own unit until 1975.