Moshe Vardi
![Moshe Vardi](https://upload.wikimedia.org/wikipedia/commons/7/72/Moshe_Vardi_IMG_0010.jpg)
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
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20