Moshe Vardi

Vardi is a Guggenheim Fellow, ACM Fellow, AAAI Fellow and a Fellow of the American Association for the Advancement of Science. He was designated a highly cited researcher by the Institute for Scientific Information, and was elected as a member of the US National Academy of Engineering, the National Academy of Sciences, the European Academy of Sciences, and the Academia Europaea (MAE). He was elected a Fellow of the American Academy of Arts and Sciences in 2010. He was included in the 2019 class of fellows of the American Mathematical Society "for contributions to the development and use of mathematical logic in computer science".

Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Gödel Prize (for work on temporal logic with finite automata), 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 (IEEE) Computer Society's 2011 Harry H. Goode Memorial Award, the 2018 ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS) jointly sponsored Alonzo Church Award for Outstanding Contributions to Logic and Computation (with Tomas Feder). Vardi also holds honorary doctorates from eight Universities:

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 is the president of the International Federation of Computational Logicians. He has also co-chaired the Association for Computing Machinery (ACM) task force on job migration.

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.