Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Pioneer

Moshe Vardi

Also Known As Moshe Ya'akov Vardi · Moshe Y. Vardi · Moshe Y Vardi
Software And Its Engineering

Moshe Vardi is an Israeli theoretical computer scientist and professor at Rice University whose research applies mathematical logic to computer science, including database theory, finite model theory, multi agent systems and automated verification. He is particularly known for connecting temporal logic with finite automata theory as a foundation for model checking and reasoning about systems that run continuously, work recognized with the 2000 Godel Prize.

Facts
Birth Year
1954 1
Birth Date
1954-07-04 1
Nationality
Israeli 2
In the Other Atlases
  • Also in Geography Atlas: Israel, nationality there.
Sources
1. Moshe Vardi (Wikidata)
  • Wikidata alias: Moshe Ya'akov Vardi
    Moshe Ya'akov Vardi
  • Wikidata P166: SIGMOD Edgar F. Codd Innovations Award
    Wikidata P166 (award received): SIGMOD Edgar F. Codd Innovations Award.
  • Wikidata P166: Paris Kanellakis Award
    Wikidata P166 (award received): Paris Kanellakis Award.
  • Wikidata P166: honorary doctorate from University of Orléans
    Wikidata P166 (award received): honorary doctorate from University of Orléans.
  • Wikidata P166: honorary doctorate of University Grenoble-Alpes
    Wikidata P166 (award received): honorary doctorate of University Grenoble-Alpes.
  • Wikidata P166: EATCS award
    Wikidata P166 (award received): EATCS award.
  • Wikidata P166: Guggenheim Fellowship
    Wikidata P166 (award received): Guggenheim Fellowship.
  • Wikidata P166: Alonzo Church Award
    Wikidata P166 (award received): Alonzo Church Award.
  • Wikidata P166: Gödel Prize
    Wikidata P166 (award received): Gödel Prize.
  • Wikidata P166: Harry H. Goode Memorial Award
    Wikidata P166 (award received): Harry H. Goode Memorial Award.
  • Wikidata P166: ACM Fellow
    Wikidata P166 (award received): ACM Fellow.
  • Wikidata P166: AAAI Fellow
    Wikidata P166 (award received): AAAI Fellow.
  • Wikidata P166: Honorary doctor of the University of Liège
    Wikidata P166 (award received): Honorary doctor of the University of Liège.
  • Wikidata P166: ACM-AAAI Allen Newell Award
    Wikidata P166 (award received): ACM-AAAI Allen Newell Award.
  • Wikidata P166: Fellow of the Society for Industrial and Applied Mathematics
    Wikidata P166 (award received): Fellow of the Society for Industrial and Applied Mathematics.
  • Wikidata P166: Herbrand Award
    Wikidata P166 (award received): Herbrand Award.
  • Wikidata P166: Fellow of the American Association for the Advancement of Science
    Wikidata P166 (award received): Fellow of the American Association for the Advancement of Science.
  • Wikidata P166: Fellow of the American Mathematical Society
    Wikidata P166 (award received): Fellow of the American Mathematical Society.
  • Wikidata P166: honorary doctor of the Saarland University
    Wikidata P166 (award received): honorary doctor of the Saarland University.
  • Wikidata alias: Moshe Y. Vardi
    Moshe Y. Vardi
  • Wikidata alias: Moshe Y Vardi
    Moshe Y Vardi
  • P569 (date of birth): year 1954
    1954
  • P569 (date of birth): 1954-07-04
    1954-07-04
View the Source
2. Wikipedia: Moshe Vardi
Wikimedia FoundationIntroduction
Quote, Introduction
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) is an Israeli theoretical computer scientist.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.