2026 Moshe Y. Vardi: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	115	189	184	111	108	828	64801

Research.com Recognitions

2025 - Research.com Computer Science in United States Leader Award
2023 - Research.com Computer Science in United States Leader Award
2022 - Research.com Computer Science in United States Leader Award
2019 - Fellow of the American Mathematical Society For contributions to the development and use of mathematical logic in computer science.
2017 - ACM Presidential Award A true visionary whose outstanding leadership over the last decade has cemented the reputation of ACM's flagship publication--Communications of the ACM--as the premier chronicler of computing technologies by opening its pages to leading voices from multiple disciplines, extending its reach with new digital and mobile platforms, and making it a monthly must-read for a global audience.
2015 - SIAM Fellow For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems.
2015 - European Association for Theoretical Computer Science (EATCS) Fellow For fundamental and lasting contributions to the development of logic in computer science and exceptional services to the community of theoretical computer science
2015 - Member of the National Academy of Sciences
2010 - Fellow of the American Academy of Arts and Sciences
2009 - Outstanding Contribution to ACM Award For outstanding leadership in restructuring the Communications of the ACM to be the flagship publication of both the Association and the discipline and in organizing an influential, systematic analysis of outsourcing.
2009 - IEEE Fellow For contributions to the development of logic as a unifying framework for modeling computational systems
2008 - ACM Presidential Award A true visionary whose outstanding leadership over the last decade has cemented the reputation of ACM's flagship publication--Communications of the ACM--as the premier chronicler of computing technologies by opening its pages to leading voices from multiple disciplines, extending its reach with new digital and mobile platforms, and making it a monthly must-read for a global audience.
2007 - Member of Academia Europaea
2005 - Fellow of John Simon Guggenheim Memorial Foundation
2005 - ACM Paris Kanellakis Theory and Practice Award Gerard J. Holzmann, Robert P. Kurshan, Moshe Y. Vardi, Pierre Wolper
2004 - Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) For significant contributions to the development of automated-reasoning techniques and to the development of logic as a unifying foundational framework and a tool for modeling computational systems.
2003 - Member of the European Academy of Sciences
2002 - Member of the National Academy of Engineering For contributions to the formal verification of hardware and software correctness.
2002 - Fellow of the American Association for the Advancement of Science (AAAS)
2000 - ACM Fellow For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems.

Overview

Moshe Y. Vardi is affiliated with Rice University in the United States and specializes in computer science, with an emphasis on artificial intelligence, computational theory, and software. Their research extensively covers formal methods in verification, logic, programming, and type systems, as well as Bayesian modeling and causal inference. Additional focuses include model-driven software engineering techniques, software testing and debugging techniques, semigroups and automata theory, and logic, reasoning, and knowledge.

Their recent publications include:

Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective, 2020, arXiv (Cornell University)
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams, 2020, Proceedings of the AAAI Conference on Artificial Intelligence
SAT-based explicit LTLƒ satisfiability checking, 2020, Artificial Intelligence
LTLƒ Synthesis with Fairness and Stability Assumptions, 2020, Proceedings of the AAAI Conference on Artificial Intelligence
Strategy Logic with Imperfect Information, 2021, ACM Transactions on Computational Logic

Frequent co-authors include:

Lucas M. Tabajara
Suguman Bansal
Shufang Zhu
Giuseppe De Giacomo
Jeffrey M. Dudek

Key publication venues where Moshe Y. Vardi has contributed frequently are:

arXiv (Cornell University)
Communications of the ACM
Proceedings of the AAAI Conference on Artificial Intelligence
Logical Methods in Computer Science
Artificial Intelligence

Their work spans over 226 publications in computer science, with 88 focused in artificial intelligence and 79 in computational theory and mathematics. Other notable subfields include software, computer networks and communications, and hardware and architecture.

Moshe Y. Vardi has been recognized with several awards and fellowships such as:

Fellow of the American Mathematical Society (2019) for contributions to mathematical logic in computer science
ACM Presidential Award (2017 and 2008) for leadership of Communications of the ACM
European Association for Theoretical Computer Science (EATCS) Fellow (2015) for contributions to logic and theoretical computer science
Member of the National Academy of Sciences (2015)
SIAM Fellow (2015) for contributions to logic as a foundational framework
Fellow of the American Academy of Arts and Sciences (2010)
Outstanding Contribution to ACM Award (2009)
IEEE Fellow (2009) for development of logic in modeling computational systems
Member of Academia Europaea (2007)
Fellow of John Simon Guggenheim Memorial Foundation (2005)
ACM Paris Kanellakis Theory and Practice Award (2005)
Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) (2004)
Member of the European Academy of Sciences (2003)
Fellow of the American Association for the Advancement of Science (AAAS) (2002)
Member of the National Academy of Engineering (2002) for contributions to formal verification of hardware and software correctness
ACM Fellow (2000) for development of logic in computational modeling

Best Publications

Reasoning About Knowledge

Ronald Fagin;Joseph Y. Halpern;Yoram Moses;Moshe Y. Vardi

6071
Citations
Reasoning About Knowledge

Ronald Fagin;Joseph Y. Halpern;Moshe Y. Vardi;Yoram Moses

5845
Citations
An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y Vardi;Pierre Wolper

2256
Citations
The complexity of relational query languages (Extended Abstract)

Moshe Y. Vardi

1707
Citations
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

Tomás Feder;Moshe Y. Vardi

1260
Citations
Simple on-the-fly automatic verification of linear temporal logic

Rob Gerth;Doron Peled;Moshe Y. Vardi;Pierre Wolper

1200
Citations
Reasoning about Infinite Computations

M.Y. Vardi;P. Wolper

1169
Citations
An automata-theoretic approach to linear temporal logic

Moshe Y. Vardi

984
Citations
Automatic verification of probabilistic concurrent finite state programs

Moshe Y. Vardi

959
Citations
Memory Efficient Algorithms for the Verification of Temporal Properties

Costas Courcoubetis;Moshe Y. Vardi;Pierre Wolper;Mihalis Yannakakis

872
Citations
Automata-Theoretic techniques for modal logics of programs

Moshe Y Vardi;Pierre Wolper

723
Citations
An automata-theoretic approach to branching-time model checking

Orna Kupferman;Moshe Y. Vardi;Pierre Wolper

709
Citations
Model Checking of Safety Properties

Orna Kupferman;Moshe Y. Vardi

667
Citations
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

Moshe Y. Vardi;Pierre Wolper

659
Citations
The complementation problem for Bu¨chi automata with applications to temporal logic

A. Prasad Sistla;M. Y. Vardi;P. Wolper

569
Citations
Parametric real-time reasoning

Rajeev Alur;Thomas A. Henzinger;Moshe Y. Vardi

550
Citations
Linear temporal logic and linear dynamic logic on finite traces

Giuseppe De Giacomo;Moshe Y. Vardi

544
Citations
On the semantics of updates in databases

Ronald Fagin;Jeffrey D. Ullman;Moshe Y. Vardi

534
Citations
Globalization and offshoring of software

William Aspray;Frank Mayadas;Moshe Y. Vardi

524
Citations
Constraint satisfaction, bounded treewidth, and finite-variable logics

Victor Dalmau;Phokion G. Kolaitis;Moshe Y. Vardi

513
Citations
Automata theoretic techniques for modal logics of programs: (Extended abstract)

Moshe Y. Vardi;Pierre Wolper

84
Citations

Frequent Co-Authors

Orna Kupferman Hebrew University of Jerusalem

Ronald Fagin IBM (United States)

Giuseppe De Giacomo Sapienza University of Rome

Joseph Y. Halpern Cornell University

Diego Calvanese Free University of Bozen-Bolzano

Maurizio Lenzerini Sapienza University of Rome

Phokion G. Kolaitis University of California, Santa Cruz

Nir Piterman University of Gothenburg

Lydia E. Kavraki Rice University

Pierre Wolper University of Liège

External Links

Wikipedia of Moshe Y. Vardi Personal website of Moshe Y. Vardi Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to a wide range of career pathways and related degree options. Many students are also considering online programs for their flexibility and cost-effectiveness.

A popular option is pursuing an accredited online cyber security degree. Cybersecurity is a rapidly growing field, and online study makes it possible to balance education with professional or personal commitments. Affordability and accreditation are key factors when choosing a program.

Another pathway is construction management. For those interested in learning about the online construction management degree cost, it’s important to compare tuition and fees to find the best value for your goals.

Students with an interest in law, safety, or public service can pursue an online criminal justice degree. These programs are designed to prepare graduates for jobs in law enforcement, corrections, and beyond.

Lastly, individuals interested in finance or business may find an accounting degree online cost comparison especially helpful before enrolling. Online accounting degrees can lead to a variety of roles in both the public and private sectors.