Moshe Y. Vardi

About

Moshe Y. Vardi is a University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. He has received numerous awards including three IBM Outstanding Innovation Awards, the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, the EATCS Distinguished Achievements Award, the Southeastern Universities Research Association's Distinguished Scientist Award, the ACM SIGLOG Church Award, the Knuth Prize, and the ACM Allen Newell Award. Vardi is the author and co-author of over 600 papers and has written two books: 'Reasoning about Knowledge' and 'Finite Model Theory and Its Applications.' He is a Fellow of several prestigious organizations, including the American Association for the Advancement of Science, the American Mathematical Society, the Association for Computing Machinery, the American Association for Artificial Intelligence, the European Association for Theoretical Computer Science, the Institute for Electrical and Electronic Engineers, and the Society for Industrial and Applied Mathematics. He is a member of the US National Academy of Engineering and the National Academy of Science, as well as the American Academy of Arts and Science, the European Academy of Science, and Academia Europaea. Vardi holds seven honorary doctorates and is currently a Senior Editor of the Communications of the ACM, having previously served as…

Research topics

• Computer Science
• Artificial Intelligence
• Political Science
• Theoretical computer science
• Sociology
• Engineering ethics
• Mathematics
• Algorithm
• Programming language
• Pedagogy

Selected publications

• Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and\n Perspective

  2020 · 114 citations

  Senior authorCorresponding

  Neural-symbolic computing has now become the subject of interest of both\nacademic and industry research laboratories. Graph Neural Networks (GNN) have\nbeen widely used in relational and symbolic domains, with widespread\napplication of GNNs in combinatorial optimization, constraint satisfaction,\nrelational reasoning and other scientific domains. The need for improved\nexplainability, interpretability and trust of AI systems in general demands\nprincipled methodologies, as suggested by neural-…

  DOI

• Deep Tech Ethics: An Approach to Teaching Social Justice in Computer Science

  2021 · 43 citations

  Senior authorCorresponding

  As ethical questions around the development of contemporary computer technologies have become an increasing point of public and political concern, computer science departments in universities around the world have placed renewed emphasis on tech ethics undergraduate classes as a means to educate students on the large-scale social implications of their actions. Committed to the idea that tech ethics is an essential part of the undergraduate computer science educational curriculum, at Rice Univers…

  DOI

• ADDMC: Weighted Model Counting with Algebraic Decision Diagrams

  Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 29 citations

  Senior authorCorresponding

  We present an algorithm to compute exact literal-weighted model counts of Boolean formulas in Conjunctive Normal Form. Our algorithm employs dynamic programming and uses Algebraic Decision Diagrams as the main data structure. We implement this technique in ADDMC, a new model counter. We empirically evaluate various heuristics that can be used with ADDMC. We then compare ADDMC to four state-of-the-art weighted model counters (Cachet, c2d, d4, and miniC2D) on 1914 standard model counting benchmark…

  DOI

• Will AI Destroy the World Wide Web?

  Communications of the ACM · 2025-08-18 · 14 citations

  articleOpen access1st authorCorresponding

  Will AI Destroy the World Wide Web?The World Wide Web (Web) emerged as a new medium in the mid-1990s.It was invented by Tim Berners-Lee at the European Organization for Nuclear Research (CERN) in 1989, but its exploding popularity was also enabled by the release of the Mosaic Web browser in 1993 and the Internet becoming commercially available in 1995.A communication revolution was launched.Roughly 30 years later, the release of ChatGPT by OpenAI in Nov. 2022 launched another revolution.High-qua…

  PublisherOA PDFDOI

• MoXI: An Intermediate Language for Symbolic Model Checking

  Lecture notes in computer science · 2024-10-12 · 6 citations

  book-chapterSenior author
  PublisherDOI

Recent grants

• Eager: Automated Synthesis for System Design

  NSF · $250k · 2010–2013

• Automata-Theoretic Approach to Design Verification

  NSF · $200k · 2003–2007

• SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives

  NSF · $800k · 2017–2022

Frequent coauthors

• Juris Hartmanis

  Lancaster University

  312 shared

• Friedemann Mattern

  308 shared

• Oscar Nierstrasz

  307 shared

• Bernhard Steffen

  TU Dortmund University

  307 shared

• David Hutchison

  Lancaster University

  307 shared

• Madhu Sudan

  Harvard University Press

  307 shared

• Moni Naor

  307 shared

• Doug Tygar

  University of California, Berkeley

  307 shared

Awards & honors

• IBM Outstanding Innovation Awards
• ACM SIGACT Goedel Prize
• ACM Kanellakis Award
• ACM SIGMOD Codd Award
• Blaise Pascal Medal

Similar researchers at Rice University

• Richard G. Baraniukh-97
• Stephen Wongh-90
• Lydia E. Kavrakih-71