Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Sep 8, 2011
The IEEE Computer Society presented its 2011 Harry H. Goode Award to Moshe Vardi for contributions to the development of logic as a framework and a tool for modeling computational systems. The Harry H. Goode Award honors achievements in the information processing field. Dr. Vardi accepted his award at the Computer Society's 25 May 2011 awards ceremony in Albuquerque, New Mexico.
Moshe Vardi is the George Professor in Computational Engineering and the Ken Kennedy Institute Director for Information Technology at Rice University. His research interests include database systems, computational-complexity theory, multi-agent systems, and design specification and verification.
One of the primary applications of Dr. Vardi's research has been the development of automatic software verification tools and developing mathematical logic for modeling computational systems. Dr. Vardi is the author and co-author of about 400 articles, as well as two books, "Reasoning about Knowledge" and "Finite Model Theory and Its Applications".