Moshe Vardi

✓ Source-basedfalling

American computer scientist

United States AcademicsBorn 1954 · age 72

CompareClaim

Fame44.5

MomentumNot measured

Languages10

In century#82,625

Text from Wikipedia, CC BY-SA 4.0

Photos 2

Vardi giving his acceptance speech for his honorary doctorate in Grenoble

Awards 16

2020ACM-AAAI Allen Newell Award

2019Fellow of the American Mathematical Society

2019honorary doctorate of University Grenoble-Alpes

2017Honorary doctor of the University of Liège

2015Fellow of the Society for Industrial and Applied Mathematics

2012EATCS award

2011Harry H. Goode Memorial Award

2008SIGMOD Edgar F. Codd Innovations Award

2005Guggenheim Fellowship

2005Paris Kanellakis Award

2004AAAI Fellow

2002honorary doctor of the Saarland University

2002honorary doctorate from University of Orléans

2000Gödel Prize

2000ACM Fellow

Fellow of the American Association for the Advancement of Science

Connected to Moshe 6

Alexei Alexeyevich AbrikosovAlso won honorary doctorate from University of Orléans

Sandra M. DíazAlso won honorary doctorate of University Grenoble-Alpes

Corrado BöhmAlso won EATCS award

Alston Scott HouseholderAlso won Harry H. Goode Memorial Award Robert SchapireAlso won Gödel Prize

Donald D. ChamberlinAlso won SIGMOD Edgar F. Codd Innovations Award

About this person

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

Text from Wikipedia, CC BY-SA 4.0

Country

United States