Moshe Vardi
Moshe Ya'akov Vardi is an Israeli theoretical computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. 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, and theoretical computer science.
Vardi has authored or co-authored over 700 technical papers as well as editing several collections. He has authored the books Reasoning About Knowledge with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications 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.
Education
Vardi was an undergraduate student at Bar-Ilan University and received his Master of Science degree from the Weizmann Institute of Science. His PhD was supervised by Catriel Beeri and awarded by the Hebrew University of Jerusalem in 1981.Career and research
Vardi's research interests are in logic and computation. He served as chair of the computer science department at Rice University from January 1994 until June 2002. Prior to joining Rice in 1993, he worked at IBM Research and was also a postdoctoral researcher at Stanford University. Vardi serves as an editor of several international journals and was formerly a director of the International Federation of Computational Logic Ltd. He has also co-chaired the Association for Computing Machinery task force on job migration.Awards and honors
Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Gödel Prize, winner of the Knuth Prize in 2021, a co-winner of the Paris Kanellakis Award in 2005, and a co-winner of the LICS 2006 Test-of-Time Award. He is also the recipient of the 2008 and 2017 ACM Presidential Award, the 2008 Blaise Pascal Medal in computational science by the European Academy of Sciences, the 2010 Distinguished Service Award from the Computing Research Association, the Institute of Electrical and Electronics Engineers Computer Society's 2011 Harry H. Goode Memorial Award, the 2018 ACM Special Interest Group for Logic and Computation, the Distinguished Services Award from the European Association for Theoretical Computer Science, the European Association for Computer Science Logic, and the Kurt Gödel Society jointly sponsored Alonzo Church Award for Outstanding Contributions to Logic and Computation. In 2025, Vardi received the IEEE TCCH Outstanding Leadership Award from the IEEE Systems, Man, and Cybernetics Technical Committee on Cyber-Humanities, presented at IEEE CyberHumanities 2025 in Florence, recognizing his leadership at the intersection of computer science and the humanities. Vardi also holds honorary doctorates from eight Universities:- Saarland University, Germany
- University of Orléans
- Grenoble Alpes University in France
- Federal University of Rio Grande do Sul in Brazil
- University of Liège in Belgium
- TU Wien in Austria
- University of Edinburgh in Scotland
- University of Gothenburg in Sweden