Moshe Vardi

Moshe Vardi '''Moshe Ya'akov Vardi''' () 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.

Moshe Y. Vardi is the author of over 600 technical papers as well as the editor of several collections. He has authored the books ''Reasoning About Knowledge'' with Ronald Fagin, Joseph Halpern, and Yoram Moses, and ''Finite Model Theory and Its Applications'' with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is Senior Editor of Communications of the ACM, after serving as its Editor-in-Chief for a decade. Provided by Wikipedia

2
by Gottlob, Georg
Published 1995
Springer
Other Authors: '; ...Vardi, Moshe...

3
Published 2003
Springer Berlin Heidelberg
Other Authors: '; ...Vardi, Moshe...

4
by Peled, Doron A
Published 2002
IFIP International Federation for Information Processing
Other Authors: '; ...Vardi, Moshe Y...

5
by Hu, Alan J
Published 1998
Springer Berlin Heidelberg
Other Authors: '; ...Vardi, Moshe Y...

6
Published 1995
Springer Berlin Heidelberg
Other Authors: '; ...Vardi, Moshe Y....

7
Published 1998
Springer Berlin Heidelberg
Other Authors: '; ...Vardi, Moshe Y....

8
Published 2002
Springer Berlin Heidelberg
Other Authors: '; ...Vardi, Moshe Y....