• Profile Image: 

Full Name: 
Moshe Y. Vardi
 - Details

Details: 

Moshe Y. Vardi is the George Distinguished Service professor in Computational Engineering and a Professor in the Department of Computer Science at Rice University, where he is also the 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.