1. Moshe Vardi is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States.
14 Facts About Moshe Vardi
1. 2.
Moshe Vardi's 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.
3.
Moshe Vardi is an expert in model checking, constraint satisfaction and database theory, common knowledge, and theoretical computer science.
4.
Moshe Vardi has authored the books Reasoning About Knowledge with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications with Erich Gradel, Phokion G Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein.
5.
Moshe Vardi is senior editor of Communications of the ACM, after serving as its editor-in-chief for a decade.
6.
Moshe Vardi was an undergraduate student at Bar-Ilan University and received his Master of Science degree from the Weizmann Institute of Science.
7.
Moshe Vardi's PhD was supervised by Catriel Beeri and awarded by the Hebrew University of Jerusalem in 1981.
8.
Moshe Vardi served as chair of the computer science department at Rice University from January 1994 until June 2002.
9.
Moshe Vardi serves as an editor of several international journals and was formerly a director of the International Federation of Computational Logic Ltd.
10.
Moshe Vardi has co-chaired the Association for Computing Machinery task force on job migration.
11.
Moshe Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Godel 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.
12.
Moshe Vardi 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.
13.
Moshe Vardi was elected a Fellow of the American Academy of Arts and Sciences in 2010.
14.
Moshe Vardi 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".