Moshe Y. Vardi (Ph.D. ’81, Hebrew University of Jerusalem) is the Karen Ostrum George Distinguished Service Professor in Computational Engineering and was recently promoted to University Professor, Rice’s highest academic title.
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.
He is a member of the National Academy of Science and the National Academy of Engineering, an ACM Fellow, IEEE Fellow, Guggenheim Fellow, a Fellow of the American Academy of Arts and Sciences, and a recipient of the Fulbright Award.
At Rice, he is leading a new campuswide Initiative on Technology, Culture, and Society.
Follow him on Twitter at @vardi.