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 The Big Questions in Computation, Intelligence and Life as author at Alan Turing Centenary Conference Manchester, 2012, 7563 views |
invited talk From Automated Verification to Automated Design as author at 20th International Conference on Automated Planning and Scheduling (ICAPS), Toronto 2010, 3662 views |
|||||||
panel 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, 2722 views |