SIAM just announced its list of Fellows for 2015, and it includes Moshe Vardi. The citation reads:
Moshe Y. Vardi is Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University. He is being recognized for contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems. His areas of research include applications of logic to computer science, database systems, complexity theory, multi-agent systems, and specification and verification of hardware and software.
h/t Valeria de Paiva