Moshe Y. Vardi
Moshe Y. Vardi studies computing through logic, including knowledge, multiagent systems, databases and formal verification. Vardi earned a doctorate from the Hebrew University of Jerusalem in 1981. Before joining Rice in 1993, he worked at IBM Almaden and managed its Mathematics and Related Computer Science Department. Vardi received the Knuth Prize and ACM Allen Newell Award in 2021. He received the Herbrand Award for contributions to automated reasoning in 2023.
- Now at
- Rice University
- Works
- 979
- Citations
- 43,322
- h-index
- 93
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1981–1993
Training and industrial research
Vardi earned a doctorate from the Hebrew University of Jerusalem in 1981. Before joining Rice in 1993, he worked at IBM Almaden and managed its Mathematics and Related Computer Science Department.
-
1994–2002
University research leadership
He chaired Rice’s Computer Science Department from 1994 to 2002. He also led the Ken Kennedy Institute from 2001 to 2019. His research covers database systems, computational complexity, multiagent systems and specification and verification.
-
As of October 2026
Logic and knowledge
Vardi authored or coauthored Reasoning about Knowledge and Finite Model Theory and Its Applications. These books sit within his stated program of examining computing through logic.
-
2021–2023
Recognition across reasoning and computing
Vardi received the Knuth Prize and ACM Allen Newell Award in 2021. He received the Herbrand Award for contributions to automated reasoning in 2023.
Sources and credits
Photo: Eusebius, via Wikimedia Commons. License: CC BY 3.0. Source: commons.wikimedia.org. Cropped to a square and resized. Ask us to remove or replace this photo.
