Moshe Vardi
![Moshe Vardi](https://upload.wikimedia.org/wikipedia/commons/7/72/Moshe_Vardi_IMG_0010.jpg)
'''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
-
1