 Professor Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians.He is a Guggenheim Fellow, as well as a Fellow of the Association for Computing Machinery, the American Association for the Advancement of Science, and the American Association for Artificial Intelligence.He was designated Highly Cited Researcher by the Institute for Scientific Information, and was elected as a member of the US National Academy of Engineering, the National Academy of Sciences, the European Academy of Sciences, and the Academia Europaea.