Moshe Y. Vardi is a Varon Visiting Professor from Rice University (where he is Noah Harding Professor and Chair of Computer Science). His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, and program specification and verification.
