Moshe Vardi
contemporaryMathematical Logic, Theoretical Computer Scienceb. 1954
Moshe Y. Vardi is an Israeli-American computer scientist and logician, University Professor at Rice University, known for his foundational work on the complexity of logical reasoning, database theory, and model checking. He has made major contributions to understanding the computational boundaries of logic and its applications in verification and artificial intelligence.
Notable Achievements
1
Pioneered work on the complexity of modal and temporal logics, including the automata-theoretic approach to model checking
2
Fundamental contributions to database theory and the complexity of query evaluation
3
Co-developed the Vardi-Wolper automata-based approach to temporal logic verification
4
Editor-in-Chief of Communications of the ACM (2008–2017)
5
Recipient of multiple honors including the ACM SIGACT Gödel Prize and the Knuth Prize