# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/moshe-vardi
# Generated: 2026-08-13T18:12:53.279Z

schema: https://schema.org/Person
url: "https://fame.am/person/moshe-vardi"
name: "Moshe Vardi"
slug: "moshe-vardi"
description: "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."
tagline: "American computer scientist"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/Moshe_Vardi.jpg?width=1200"
gender: "male"
country:
  name: "United States"
  isoCode: "US"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1954-07-04"
livingStatus: "LIVING"
scores:
  popularity:           44.47
  momentum:             0
  historical:           8.960513333333333
  currentAttention:     0
  sourceConfidence:     65
  profileCompleteness:  80
  trendDirection:       "FALLING"
ranks:
  global:   null
  country:  null
  category: null
platforms:
  - platform:  "X"
    url:       "https://x.com/vardi"
    handle:    "vardi"
  - platform:  "WEBSITE"
    url:       "https://www.cs.rice.edu/~vardi/"
sources:
  - url: "https://zh.wikipedia.org/wiki/%E6%91%A9%E8%A5%BF%C2%B7%E7%93%A6%E5%B0%94%E8%BF%AA"
    title: "摩西·瓦尔迪"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/Moshe_Y._Vardi"
    title: "Moshe Y. Vardi"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/Moshe_Vardi"
    title: "Moshe Vardi"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/Moshe_Vardi"
    title: "Moshe Vardi"
    type:  "WIKIPEDIA"
  - url: "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)"
    title: "משה ורדי (מדען מחשב)"
    type:  "WIKIPEDIA"
  - url: "https://it.wikipedia.org/wiki/Moshe_Vardi"
    title: "Moshe Vardi"
    type:  "WIKIPEDIA"
  - url: "https://mg.wikipedia.org/wiki/Moshe_Vardi"
    title: "Moshe Vardi"
    type:  "WIKIPEDIA"
  - url: "https://ru.wikipedia.org/wiki/%D0%92%D0%B0%D1%80%D0%B4%D0%B8%2C_%D0%9C%D0%BE%D1%88%D0%B5"
    title: "Варди, Моше"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "โมเช วาย. วาดิ"
    type:  "WIKIPEDIA"
  - url: "https://uk.wikipedia.org/wiki/%D0%9C%D0%BE%D1%88%D0%B5_%D0%92%D0%B0%D1%80%D0%B4%D1%96"
    title: "Моше Варді"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q1585964"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump