Moshe Vardi

Professor, Rice University
Visiting Scientist, Program Organizer and Workshop Organizer
Dates of Visit: Jan. 12May 14, 2021

Moshe Y. Vardi is University Professor, Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, where he is leading an Initiative on Technology, Culture, and Society. His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including machine learning, database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum. He is also a Faculty Scholar at the Baker Institute for Public Policy at Rice University.

Program Visits