Moshe Y. Vardi

from Wikipedia, the free encyclopedia
Moshe Vardi

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

Live and act

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

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

In 2000 he received the Gödel Prize with Pierre Wolper and in 2005 with Wolper for their work on model checking in finite machines, Robert Kurshan and Gerard Holzmann the Paris Kanellakis Prize for their work on the formal verification of reactive systems. In 2008 he received the Blaise Pascal Medal and the ACM Presidential Award. He is an honorary doctor from the University of Saarland (2002), the University of Orléans and the Technical University of Vienna (2018). He has been a Fellow of the Association for Computing Machinery (ACM) since 2000 and a Fellow of the National Academy of Engineering since 2002 . He is also a Fellow of the IEEE, whose Harry H. Goode Award he received in 2011, and the American Association for the Advancement of Science , the American Academy of Arts and Sciences (2010), the European Academy of Sciences and the Academia Europaea (2007) . In 1981 he received a Fulbright Award, was a Guggenheim Fellow and he has received multiple Outstanding Innovation Awards from IBM. He was awarded the EATCS Award for 2012. In 2015 he was elected to the National Academy of Sciences .

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

Fonts (selection)

  • Reasoning about Knowledge . Paperback edition MIT Press, Cambridge 2003, ISBN 0-262-56200-6 (reprinted from the Cambridge 1995 edition; together 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 K. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema and Scott Weinstein).

Web links

Individual evidence

  1. Life data according to American Men and Women of Science , Thomson Gale 2004. After that, he also has US citizenship.
  2. Vardi's Work Honored with EATCS Award ( Memento of the original from May 7, 2012 in the Internet Archive ) Info: The archive link has been inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. at Rice University (rice.edu); Retrieved April 5, 2012 @1@ 2Template: Webachiv / IABot / compsci.rice.edu