Moshe Vardi Quotes
Humanity is about to face perhaps its greatest challenge ever, which is finding meaning in life after the end of 'In the sweat of thy face shalt thou eat bread.'
Vardi, Moshe Y. "The Consequences of Machine Intelligence." Communications of the ACM, vol. 55, no. 10, Oct. 2012, p. 5.
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. He is University Professor, the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Director of the Ken Kennedy Institute for Information Technology. 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.