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
- May 2011 2011 Harry H. Goode Memorial Award, IEEE Computer Society
- December 2011 Amir Pnueli – Ahead of His Time. Pnueli Memorial Lecture, Weizmann Institute of Science, Rehovot, Israel
- December 2011 And Logic Begat Computer Science, Institute Colloquium, IIT Bombay
- July 2012 Distinguished Achievements Award, European Association for Theoretical Computer Science
- April 2013 Distinguished Scientist Award, Southeastern Universities Research Association
- January 2015 Fellow, the European Association for Theoretical Computer Science
- March 2015 Fellow, Society for Industrial and Applied Mathematics
- April 2015 Member, National Academy of Sciences
- May 2015 : Leibniz Visiting Scientist, Leipzig University, Germany
- June 2015 Doctor Honoris Causa, UFRGS, Brazil
- September 2015 PhD Student Kuldeep S. Meel received Best Student-Paper Award at the 21st Int’l Conf. on Principles and Practice of Constraint Programming for “On computing minimal independent support and its applications to sampling and counting” (with A. Ivrii, S. Malik, K.S. Meel, and M.Y. Vardi).
- March 2017 Doctor Honoris Causa, University of Liege, Belgium
- June 2017 ACM Presidential Award
- April 2018 PhD Student Kuldeep S. Meel received the 2018 Ralph Budd Award for the best engineering doctoral dissertation at Rice University
- April 2018 Faculty Award for Excellence in Professional Service and Leadership, Rice University
- May 2018 Doctor Honoris Causa, Technical University of Vienna, Austria
- July 2018 Honorary Doctor of Science, University of Edinburgh, Scotland
- July 2018 Church Award for Contributions to Logic and Computation (with T. Feder).
- Nov. 2018 Fellow of the American Mathematical Society.
- May 2019 IEEE ICRA Best Paper Award in Cognitive Robotics, for “Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks”
- Nov. 2019 Honorary professorship, East China Normal University, Shanghai, China
- Nov. 2019 Honorary doctorate, University of Grenoble-Alpes, France
- Apr. 2021 CONCUR Test-of-Time Award, for “Alternating Refinement Relations” - CONCUR 1998 (with R. Alur, T. Henzinger, and O. Kupferman)
- May 2021 ACM-AAAI Allen Newell Award for career contributions that have breadth within computer science, or that bridge computer science and other disciplines May 2021 Knuth Prize, for high-impact, seminal contributions to the foundations of computer science
- May 2021 Technology Is Driving the Future, But Who Is Steering? 8th Vienna Gödel Lecture
- July 2021 IEEE Norbert Wiener Award for Social and Professional Responsibility
- Aug. 2021 Fellow, Asia-Pacific Artificial Intelligence Association
- March 2023 Honorary Doctorate, Gothenburg University, Sweden
- May 2023 Foreign Member, Royal Society of London
- June 2023 Quantum-Graph Best-Paper Award 2023, Max Planck Institute for the Science of Light
- June 2023 Salomaa Prize for Fundamental Achievements in Automata Theory and Formal Languages Theory, European Association for Theoretical Computer Science
- July 2023 Herbrand Award Aor Distinguished Contributions to Automated Reasoning Conference on Automated Deduction
- July 2023 Thoralf Skollem Prize, test-of-time award, Conference on Automated Deduction
- July 2023 A. Richard Newton Technical Impact Award in Electronic Design Automation Sept. 2023 What came first, math or computing? Inaugural Hao Wang Lecture, Tsinghua University, Beijing, China
- Oct. 2023 Best Paper Award, Model Checking Strategies from Synthesis Over Finite Traces (with S. Bansal, Y. Li, L.M. Tabajara, and A. Wells), 21st International Symposium on Automated Technology for Verification and Analysis
- May 2024 Honorary Master’s Degree, University of Calabria, Italy
