Skip to content
227,683 profiles ranked

Moshe Vardi

Israeli theoretical computer scientist · United States · On the map · Scientists · Born 1954 · age 72

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.

Moshe Vardi is read about 22 times a day, in 10 languages.

A typical day, 30 days to 22 June 2026

The middle day of the days counted, so one week of news cannot move it. The line under it is the last 60 days, one point a day.

Something wrong?
Compare Claim

A life in dates

2020ACM-AAAI Allen Newell AwardAward2019Fellow of the American Mathematical SocietyAwardHonorary Doctorate of University Grenoble-AlpesAward2017Honorary doctor of the University of LiègeAward2015Fellow of the Society for Industrial and Applied MathematicsAward2012EATCS awardAward2011Harry H. Goode Memorial AwardAward2005Guggenheim FellowshipAwardParis Kanellakis AwardAward2004AAAI FellowAward2002Honorary Doctor of the Saarland UniversityAwardHonorary Doctorate from University of OrléansAward2000ACM FellowAwardGödel PrizeAward1954Born4 July 1954

People around Moshe

Close ties

Also in Français

Awards

ACM-AAAI Allen Newell Award2020
Fellow of the American Mathematical Society2019
Honorary Doctorate of University Grenoble-Alpes2019
Honorary doctor of the University of Liège2017
Fellow of the Society for Industrial and Applied Mathematics2015
EATCS award2012
Harry H. Goode Memorial Award2011
SIGMOD Edgar F. Codd Innovations Award2008
Guggenheim Fellowship2005
Paris Kanellakis Award2005
AAAI Fellow2004
Honorary Doctor of the Saarland University2002
Honorary Doctorate from University of Orléans2002
Gödel Prize2000
ACM Fellow2000
Fellow of the American Association for the Advancement of Science

About this person

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 (logic), and theoretical computer science.

Country
United States
Category
Scientists
Type
Scientist
Status
Living
Dates
Born 1954 · age 72

Where to find them