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
AwardSIGMOD Edgar F. Codd Innovations Award 1 Awardhonorary doctorate from University of Orléans 1 Awardhonorary doctorate of University Grenoble-Alpes 1 AwardHarry H. Goode Memorial Award 1 AwardHonorary doctor of the University of Liège 1 AwardACM-AAAI Allen Newell Award 1 AwardFellow of the Society for Industrial and Applied Mathematics 1 AwardFellow of the American Association for the Advancement of Science 1 AwardFellow of the American Mathematical Society 1 Awardhonorary doctor of the Saarland University 1 In the Other Atlases
- Also in Geography Atlas: Israel, nationality there.
- Also in Geography Atlas: United States, nationality there.
Sources
1. Wikidata: Moshe Vardi
Wikidata Q1585964, class allow-list match (w-wdresolver-0926)View the Source 2. Wikipedia: Moshe Vardi
Wikimedia FoundationIntroductionQuote, Introduction
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) is an Israeli theoretical computer scientist.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.