Moshe Vardi

Moshe Vardi
MAE ForMemRS
Born
Moshe Ya'akov Vardi
Hebrew: משה יעקב ורדי

1954 (age 69–70)
Israel
Alma mater
Awards
Scientific career
FieldsLogic
Computation[2]
InstitutionsRice University
IBM Research
Stanford University
Thesis The Implication Problem for Data Dependencies in the Relational Model  (1981)
Doctoral advisorCatriel Beeri[3]
Doctoral studentsKristin Yvonne Rozier
Websitewww.cs.rice.edu/~vardi/ Edit this at Wikidata

Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE ForMemRS[5] is an Israeli theoretical computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States.[6][2][7] and a faculty advisor for the Ken Kennedy Institute.[8] His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.[9][10]

Vardi has authored or co-authored over 700 technical papers[2] as well as editing several collections. He has authored the books Reasoning About Knowledge[11] with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications[12] with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is senior editor of Communications of the ACM, after serving as its editor-in-chief for a decade.[13]

  1. ^ "Moshe Y. Vardi: Computer and Information Sciences". nasonline.org. National Academy of Sciences.
  2. ^ a b c Moshe Vardi publications indexed by Google Scholar Edit this at Wikidata
  3. ^ Moshe Vardi at the Mathematics Genealogy Project Edit this at Wikidata
  4. ^ Cite error: The named reference weiz was invoked but never defined (see the help page).
  5. ^ Cite error: The named reference mae was invoked but never defined (see the help page).
  6. ^ "Moshe Y. Vardi | Faculty | The People of Rice". profiles.rice.edu. Rice University. Retrieved 16 May 2023.
  7. ^ BOYD, JADE (July 22, 2011). "Rice's Moshe Vardi honored as Distinguished Service Professor". Rice University. Archived from the original on March 6, 2014. 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.
  8. ^ "People". Ken Kennedy Institute | Rice University. Retrieved 16 May 2023.
  9. ^ Moshe Vardi author profile page at the ACM Digital Library
  10. ^ Winslett, Marianne (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record. 35: 56–64. doi:10.1145/1121995.1122008. S2CID 27479793.
  11. ^ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Massachusetts: The MIT Press. ISBN 0-262-56200-6.
  12. ^ 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 978-3-540-00428-8.
  13. ^ Vardi, M. Y. (2012). "Artificial intelligence: Past and future". Communications of the ACM. 55: 5. doi:10.1145/2063176.2063177.