2017 - ACM Presidential Award A true visionary whose outstanding leadership over the last decade has cemented the reputation of ACM's flagship publication--Communications of the ACM--as the premier chronicler of computing technologies by opening its pages to leading voices from multiple disciplines, extending its reach with new digital and mobile platforms, and making it a monthly must-read for a global audience.
2009 - IEEE Fellow For contributions to the development of logic as a unifying framework for modeling computational systems
2009 - Outstanding Contribution to ACM Award For outstanding leadership in restructuring the Communications of the ACM to be the flagship publication of both the Association and the discipline and in organizing an influential, systematic analysis of outsourcing.
2008 - ACM Presidential Award For his unwavering commitment in driving the ACM Job Migration Task Force and its Globalization and Offshoring of Software report, drawing worldwide attention to its wealth of information and balanced perspective. Dr. Vardi's ambitious efforts on behalf of ACM continue as he energetically leads the revitalization of ACM's flagship publication, Communications of the ACM, and becomes its new editor-in-chief.
2005 - ACM Paris Kanellakis Theory and Practice Award Gerard J. Holzmann, Robert P. Kurshan, Moshe Y. Vardi, Pierre Wolper
2004 - AAAI Fellow For significant contributions to the development of automated-reasoning techniques and to the development of logic as a unifying foundational framework and a tool for modeling computational systems.
2000 - ACM Fellow For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: