AOL Web Search

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 ...

Moshe Y. Vardi is a University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. He is the recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award ...

Moshe Y. Vardi is University Professor and the Karen Ostrum George Distinguished Service Professor of Computational Engineering. He currently leads the Technology, Culture, and Society Initiative at Rice University. He chaired the Computer Science Department at Rice University from 1994 utill 2002, and led the Ken Kennedy Institute for ...

An automata-theoretic approach to automatic program verification. MY Vardi, P Wolper. 1st Symposium in Logic in Computer Science (LICS) , 1986. 2343. 1986. The complexity of relational query languages. MY Vardi. Proceedings of the fourteenth annual ACM symposium on Theory of computing ….

Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. His research focues on the interface of mathematical logic and computation -- inluding database theory, hardware/software dessign and verification, multi-agent systems, and constraint satisfaction.