!!!Moshe Y. Vardi
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='vardi_moshe.jpg'  alt='Moshe Y. Vardi' height='150' }]
%%
[{AcadMemberDataPlugin}]
%%(margin-left:176px;)Homepage:%%(margin-left:23px;) %%[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
\\ \\

%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Vardi_Moshe/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Vardi_Moshe/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
-->[Highlights of work and anecdotes|User/Vardi_Moshe/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Vardi_Moshe/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit mvardi}]
[{ALLOW upload mvardi}]

[{ALLOW comment All}]