Loading...

Moshe Y. Vardi receives 2011 Harry H. Goode Memorial Award

361 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

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".

For more information about Moshe Vardi: http://www.computer.org/portal/web/aw...

For more information about IEEE Computer Society Awards: http://www.computer.org/awards

Loading...

to add this to Watch Later

Add to

Loading playlists...