digplanet beta 1: Athena
Share digplanet:


Applied sciences






















Professor Moshe Vardi
Moshe Vardi IMG 0010.jpg
Born Moshe Ya'akov Vardi
(1954-07-04) July 4, 1954 (age 60)
Institutions Rice University
IBM Almaden Research Center
Stanford University
Alma mater Bar-Ilan University
Weizmann Institute of Science
Hebrew University
Thesis The Implication Problem for Data Dependencies in the Relational Model[1] (1981)
Doctoral advisor Catriel Beeri[1]
Notable awards Gödel Prize (2000)

Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי‎) is an Israeli computer scientist. He is a Professor of Computer Science at Rice University,[2] USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor,[3] and Director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is a renowned expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.[4][5]

Moshe Y. Vardi is the author of over 400 technical papers[6][7][8] as well as the editor of several collections. He has authored the books Reasoning About Knowledge [9] with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications[10] with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is also the editor-in-chief of Communications of the ACM.[11]


He chaired the Computer Science Department at Rice University from January 1994 until June 2002. Prior to joining Rice in 1993, he was at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. Dr Vardi received his Ph.D. from the Hebrew University of Jerusalem in 1981.[1]


Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Gödel Prize, a co-winner of the 2005 ACM Paris Kanellakis Theory and Practice Award, and a co-winner of the LICS 2006 Test-of-Time Award. He is also the recipient of the 2008 ACM Presidential Award, the 2010 Distinguished Service Award from the Computing Research Association, and the Institute of Electrical and Electronics Engineers (IEEE) Computer Society's 2011 Harry H. Goode Award.

He holds honorary doctorates from Saarland University, Germany, and the University of Orleans, France. Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians. He is a Guggenheim Fellow,[12] as well as a Fellow of the Association for Computing Machinery, the American Association for the Advancement of Science, and the American Association for Artificial Intelligence. He was designated Highly Cited Researcher by the Institute for Scientific Information, and was elected as a member of the US National Academy of Engineering, the European Academy of Sciences, and the Academia Europaea. He was named to the American Academy of Arts and Sciences in 2010. He has also co-chaired the ACM Task Force on Job Migration.


  1. ^ a b c Moshe Y. Vardi at the Mathematics Genealogy Project
  2. ^ "www.cs.rice.edu/~vardi". Retrieved 2012-06-20. 
  3. ^ BOYD, JADE (July 22, 2011). "Rice’s Moshe Vardi honored as Distinguished Service Professor". Rice University. Archived from the original on April 10, 2012. Retrieved April 10, 2012. Rice University computer scientist Moshe Vardi has been named a Distinguished Service Professor, one of the university’s most prestigious faculty appointments. 
  4. ^ Moshe Y. Vardi from the ACM Portal
  5. ^ Winslett, M. (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record 35: 56. doi:10.1145/1121995.1122008.  edit
  6. ^ List of publications from the DBLP Bibliography Server
  7. ^ List of publications from Microsoft Academic Search
  8. ^ List of publications from Google Scholar
  9. ^ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Mass: The MIT Press. ISBN 0-262-56200-6. 
  10. ^ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite model theory and its applications. Berlin: Springer. ISBN 3-540-00428-9. 
  11. ^ Vardi, M. Y. (2012). "Artificial intelligence: Past and future". Communications of the ACM 55: 5. doi:10.1145/2063176.2063177.  edit
  12. ^ List of Guggenheim Fellowships awarded in 2005#V

External links[edit]

Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Moshe_Y._Vardi — Please support Wikipedia.
This page uses Creative Commons Licensed content from Wikipedia. A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
58 videos foundNext > 

Moshe Y. Vardi receives 2011 Harry H. Goode Memorial Award

The IEEE Computer Society presented its 2011 Harry H. Goode Award to Moshe Vardi for contributions to the development of logic as a framework and a tool for ...

Moshe Vardi: A Logical Revolution

Professor Moshe Vardi of Rice University delivered a special seminar within the Department of Electrical and Computer Engineering at the University of Maryla...

I4J Summit - Moshe Vardi

Moshe Vardi, director of the Information Technology Institute at Rice University, interviewed at the Innovation for Jobs Summit.

KR 2012 - Moshe Vardi - The Rise and Fall of Linear Temporal Logic

The Turing Computational Model

Chair: Moshe Vardi Panel: Stephen Cook, Juris Hartmanis, William Kahan, Richard E. Stearns Abstract The panel presentations will discuss the beauty and simpl...

ICAPS 2013: Giuseppe De Giacomo (Invited Talk) - Linear Temporal Logics on Finite Traces ...

In this talk we look into the impact of expressing temporal constraints on traces/trajectories that are finite, as typical in planning (see TLPlan or PDDL3)....

And Logic Begat Computer Science: When Giants Roamed the Earth

Slides: http://hosting.cs.vt.edu/seminar/DL_series_2010-2011/Moshe_Vardi/logic.pdf Abstract: During the past fifty years there has been extensive, continuous...

Exclusive: Kama Vardi performs "Always"

Israeli recording artist Kama Vardi here in the studio to perform her folk song "Always" Listen to the full episode of "Weekend Edition" at http://tlv1.fm/?p...

Exclusive: Alex Moshe performs "Free to Leave"

Alex Moshe performs "Free to Leave." Listen to the full episode of "Weekend Edition" at http://tlv1.fm/?p=3070.

Kama Vardi @ Floretine, second song, 11.6.2011

The gorgeus Kama Vardi perform at the closing party of ״keep on dreaming״, an exhibition by Klone, in Tel Aviv.

58 videos foundNext > 

2 news items

The Atlantic
Thu, 25 Oct 2012 12:36:56 -0700

The Consequences of Machine Intelligence. Moshe Y. Vardi Oct 25 2012, 3:36 PM ET. Share on Facebook; Twitter; LinkedIn; Email · Print; Comments. If machines are capable of doing almost any work humans can do, what will humans do? hal9000-615.jpg.
New York Times
Wed, 07 Oct 2009 00:00:00 -0700

”I don't think we've ever had an article that started off with this kind of a bang,” said Moshe Y. Vardi, a Rice University computer scientist who is editor in chief of the journal. ”Our e-mail blast went out and thousands of people felt they had to ...

Oops, we seem to be having trouble contacting Twitter

Support Wikipedia

A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia. Please add your support for Wikipedia!

Searchlight Group

Digplanet also receives support from Searchlight Group. Visit Searchlight