Moshe Y. Vardi

Moshe Y. Vardi ( born July 4, 1954 in Haifa) is an Israeli- American computer scientist.

Life and work

Vardi studied at Bar- Ilan University and made in 1980 at the Weizmann Institute his master's degree ( axiomatization of functional and joint dependencies in the relational model). In 1981 he received his doctorate at the Hebrew University in computer science (The implication trouble for data dependencies in the relational model). He was then to 1985 at Stanford University, but also at IBM, where he since 1985 permanently employed as a scientist at the IBM Almaden Research Center and conducted research from 1989 was Head of Department (Mathematics and related computer science ). At the same time he was Consult professor at Stanford. From 1993 he was professor ( Karen Ostrum George Professor ) at Rice University, where until 2002 he was Managing Board of computer science faculty in 1994.

It deals with applications of logic in computer science, databases, complexity theory, multi-agent systems, design specification and verification. He has authored over 400 scientific papers ( 2011).

2000 he was awarded with Pierre Wolper Gödel Prize and 2005 with Wolper for their work on model checking for finite automata, Robert Kurshan and Gerard Holzmann the Paris Kanellakis Award for her work on formal verification of reactive systems. In 2008 he received the Blaise Pascal Medal and the ACM Presidential Award. He holds honorary doctorates from the University of Saarland (2002) and the University of Orléans. Since 2000 he is a Fellow of the Association for Computing Machinery (ACM ) since 2002 and a Fellow of the National Academy of Engineering. He is also a Fellow of the IEEE, the Harry H. Goode Award he received in 2011, and the American Association for the Advancement of Science, the American Academy of Arts and Sciences, the European Academy of Sciences and the Academia Europaea. In 1981 he received a Fulbright Award, Guggenheim Fellow, and he received the Outstanding Innovation Award several times by IBM. He was awarded the 2012 EATCS Award.

He is currently (2011) the editor of the Communications of the ACM.

Writings (selection )

• Reasoning about Knowledge. Taschenbuchausg. MIT Press, Cambridge, 2003, ISBN 0-262-56200-6 ( Nachdr d ed Cambridge 1995, along with Ronald Fagin, Joseph Y. Halpern and Yoram Moses).
• Finite Model Theory and Its Applications. Springer, Berlin 2007, ISBN 978-3-540-00428-8 (together with Erich Grädel, Phokion Kolaitis K., Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein ).