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

*American computer scientist*

**Canonical URL:** https://fame.am/person/moshe-vardi

## Identity
- **Profile type:** Academic ([Wikidata](https://www.wikidata.org/entity/Q39631))
- **Category:** Academics
- **Country:** United States
- **Born:** 1954-07-04
- **Status:** living
- **Gender:** male

## Bio

Imported from discovery source: wikidata-dump

## Fame
- **Popularity score:** 44.5 / 100
- **Momentum:** 0.0 / 100  (trend: FALLING)
- **Historical depth:** 9.0 / 100
- **Now attention:** 0.0 / 100
- **Source confidence:** 65.0 / 100
- **Profile completeness:** 80.0 / 100

## Platforms
- **X**: https://x.com/vardi (@vardi)
- **WEBSITE**: https://www.cs.rice.edu/~vardi/

## Sources
- [摩西·瓦尔迪](https://zh.wikipedia.org/wiki/%E6%91%A9%E8%A5%BF%C2%B7%E7%93%A6%E5%B0%94%E8%BF%AA)
- [Moshe Y. Vardi](https://de.wikipedia.org/wiki/Moshe_Y._Vardi)
- [Moshe Vardi](https://en.wikipedia.org/wiki/Moshe_Vardi)
- [Moshe Vardi](https://fr.wikipedia.org/wiki/Moshe_Vardi)
- [משה ורדי (מדען מחשב)](https://he.wikipedia.org/wiki/%D7%9E%D7%A9%D7%94_%D7%95%D7%A8%D7%93%D7%99_(%D7%9E%D7%93%D7%A2%D7%9F_%D7%9E%D7%97%D7%A9%D7%91))
- [Moshe Vardi](https://it.wikipedia.org/wiki/Moshe_Vardi)
- [Moshe Vardi](https://mg.wikipedia.org/wiki/Moshe_Vardi)
- [Варди, Моше](https://ru.wikipedia.org/wiki/%D0%92%D0%B0%D1%80%D0%B4%D0%B8%2C_%D0%9C%D0%BE%D1%88%D0%B5)
- [โมเช วาย. วาดิ](https://th.wikipedia.org/wiki/%E0%B9%82%E0%B8%A1%E0%B9%80%E0%B8%8A_%E0%B8%A7%E0%B8%B2%E0%B8%A2._%E0%B8%A7%E0%B8%B2%E0%B8%94%E0%B8%B4)
- [Моше Варді](https://uk.wikipedia.org/wiki/%D0%9C%D0%BE%D1%88%D0%B5_%D0%92%D0%B0%D1%80%D0%B4%D1%96)
- [Wikidata](https://www.wikidata.org/wiki/Q1585964)

---
Generated by Fame.am · https://fame.am/person/moshe-vardi