Moshe Y. Vardi#
Membership Number: | 2473 |
Membership type: | FOREIGN |
Section: | INFORMATICS |
Elected: | 2007 |
Main Country of Residence: | UNITED STATES |
Homepage(s): | 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