Moshe Vardi

Moshe Vardi '''Moshe Ya'akov Vardi''' () is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of 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.

Vardi has authored or co-authored over 700 technical papers as well as editing 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
Transactions on Computational Science V [E-Book] : Special Issue on Cognitive Knowledge Representation /
Software Engineering for Self-Adaptive Systems [E-Book] /
Other Personal Name(s): ...Vardi, Moshe Y....

Full text 
Transactions on High-Performance Embedded Architectures and Compilers II [E-Book] /
Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /
Formal Methods for Web Services [E-Book] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /
Transactions on Aspect-Oriented Software Development V [E-Book] /
Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /
Developments in Language Theory [E-Book] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /
Web Engineering [E-Book] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings /
Ambient Assistive Health and Wellness Management in the Heart of the City [E-Book] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings /
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
Computer Performance Engineering [E-Book] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /
Tests and Proofs [E-Book] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Rough Sets and Knowledge Technology [E-Book] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings /
Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /
Distributed Computing and Networking [E-Book] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /
Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /