Moshe Y. Vardi#


Moshe Y. Vardi
Email:vardi 'at' cs.rice.edu
Membership Number:2473
Membership type:FOREIGN
Main Country of Residence:UNITED STATES
Section:INFORMATICS
Username:mvardi
Elected:2007
Homepage: http://www.cs.rice.edu/~vardi



Present and Previous Positions
  • Jan. 1994 – June 2002 Chair, Dept. of Computer Science, Rice University
  • July 2000 – present Karen Ostrum George Professor in Computational Engineering, Dept. of Computer Science, Rice University
  • Dec. 1993 – June 2000 Noah Harding Professor, Dept. of Computer Science, Rice University
  • March 1991 – August 1995 Consulting Professor, Dept. of Computer Science, Stanford University
  • Dec. 1989 – Nov. 1993 Second-level manager, Department of Mathematics and Related Computer Science, IBM Almaden Research Center, San Jose, California
  • Dec. 1989 – Nov. 1993 Second-level manager, Department of Mathematics and Related Computer Science, IBM Almaden Research Center, San Jose, California
  • Sep. 1985 – Nov. 1993 Research Staff Member, IBM Almaden Research Center, San Jose, California
  • Sep. 1984 – Aug. 1985 Research Associate, Center for Study of Language and Information, Stanford University
  • Sep. 1983 – Aug. 1984 Visiting Scientist, Dept. of Computer Science, IBM Research Laboratory, San Jose, California
  • Sep. 1981 – Aug. 1983 Postdoctoral Scholar, Dept. of Computer Science, Stanford University
  • Nov. 1980 – Aug. 1981 Instructor, Inst. of Math. and Computer Science, The Hebrew University of Jerusalem
  • Feb. 1979 – Oct. 1980 Research Assistant, Inst. of Math. and Computer Science, The Hebrew University of Jerusalem
  • Nov. 1978 – June 1979 Programmer, The Weizmann Institute of Science
  • Nov. 1972 – June 1973 Teaching Assistant, Dept. of Mathematics, Bar-Ilan University
  • 1981 Ph.D. in Computer Science, Hebrew University, Jerusalem, Israel. Thesis: The Implication Problem for Data Dependencies in the Relational Model

Fields of Scholarship
  • database systems
  • computational-complexity theory
  • multi-agent systems
  • design specification and verification

Honours and Awards
  • Nov. 1971 – Oct. 1973 Shapiro Fellowship, Bar-Ilan University
  • Nov. 1972 Loker Award, Bar-Ilan University
  • Nov. 1979 – July 1980 M.Sc. Fellowship, The Weizmann Institute of Science
  • Sep. 1981 Fulbright Award, U.S.-Israel Education Foundation
  • Sep. 1981 – Aug. 1983 Weizmann Post-Doctoral Fellowship, The Weizmann Institute of Science
  • March 1987 Outstanding Innovation Award, Theory of Knowledge, IBM Research
  • March 1989 Outstanding Innovation Award, Automata-Theoretic Approach to Program Verification, IBM Research
  • March 1992 Outstanding Innovation Award, Zero-One Laws, IBM Research
  • August 1998 Spinoza Lecture, 10th European Summer School on Logic, Language, and Information, Saarbrücken, Germany
  • May 2000 Fellow, Association for Computing Machinery
  • May 2000 Gödel Prize (with P. Wolper)
  • February 2002 Member, U.S. National Academy of Engineering
  • March 2002 Doctor honoris causa (accompanied by a special symposium), Saarland University, Germany
  • October 2002 Doctor honoris causa, Orleans University, France
  • October 2002 Member, European Academy of Science
  • October 2002 Fellow, American Association for the Advancement of Science
  • January 2003 Member, Texas Academy of Medicine, Engineering and Science
  • April 2003 Saul Gorn Memorial Lecture, University of Pennsylvania
  • July 2004 Fellow, American Association for Artificial Intelligence
  • May 2005 Guggenheim Fellow
  • May 2006 ACM Paris Kanellakis Award for Theory and Practice (w. G. Holzmann, R. Kurshan, and P. Wolper)
  • August 2006 IEEE Symp. on Logic in Computer Science Test-of-Time Award (w. P. Wolper)
  • April 2007 Foreign member, Academia Europaea
  • June 2008 ACM SIGMOD Edgar F. Codd Innovations Award
  • June 2008 ACM PODS Alberto O. Mendelzon Test-of-Time-Award (w. P. Kolaitis)
  • June 2008 ACM Presidential Award
  • November 2008 Blaise Pascal Medal, European Academy of Sciences
  • January 2009 IEEE Fellow
  • March 2009 EATCS Award for Best ETAPS Paper 2009
  • June 2009 Milner Lecture, University of Edinburgh
  • February 2010 Computing Research Association, Distinguished Service Awards
  • April 2010 ACM Outstanding Contribution Award
  • April 2010 Member, American Academy of Arts and Sciences


Imprint Privacy policy « This page (revision-14) was last updated on Tuesday, 16. October 2012, 15:07 by Nowak Aleksandra
  • operated by