Moshe Y. Vardi
homepage:http://www.cs.rice.edu/~vardi/
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife

Description

Moshe Vardi is currently the Karen Ostrum George Professor in Computational Engineering, distinguished Service Professor and Director of the Ken Kennedy Institute for Information Technology of Rice University, USA. He is a Fellow of the Association of Computing Machinery, a Fellow of the American Association for the Advancement of Science, a Fellow of the American Association for Artificial Intelligence and a Guggenheim Fellow.

Vardi has been awarded honorary doctorates from Saarland University, Germany, and the University of Orleans, France, as well as numerous awards for his work. These include three IBM Outstanding Innovation Awards, the Gödel Prize in 2000, the ACM Presidential Award in 2008 and the 2010 Distinguished Service Award from the Computing Research Association. He is a member of the US National Academy of Engineering, the European Academy of Sciences, and the Academia Europea.


Lectures:

panel
locked flag The Big Questions in Computation, Intelligence and Life
as author at  Alan Turing Centenary Conference Manchester, 2012,
together with: Barry Cooper (moderator), Samson Abramsky, Ronald J. Brachman, Carole Goble, Martin Davis, Roger Penrose, George Ellis, Hans Meinhardt, Bertrand Meyer,
  panel
flag The Big Questions in Computation, Intelligence and Life
as author at  Alan Turing Centenary Conference Manchester, 2012,
639 views
invited talk
flag From Automated Verification to Automated Design
as author at  20th International Conference on Automated Planning and Scheduling (ICAPS), Toronto 2010,
250 views