Moshe Vardi
Moshe Vardi · Technology & Engineering
Israeli-American pioneer of logic in computer science; Gödel Prize (2000), Knuth Prize (2021)
1954, Haifa, Israel
Israel · United States (Houston, Rice University)
Moshe Vardi is recognized among Israeli contributors to Technology & Engineering — Israeli-American pioneer of logic in computer science; Gödel Prize (2000), Knuth Prize (2021)
Vardi pioneered the application of mathematical logic to computer science, from database theory to the automated verification of hardware and software. Born in Haifa to Hungarian Holocaust-survivor parents, he became a University Professor at Rice University and won the Gödel and Knuth prizes. His methods are used to verify the correctness of real-world computing systems.
Verify and go deeper with these external references.
Source: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
This page is published in seven languages from an English source. The translations are reviewed, but a mistake can still slip through. If you spot one on this profile — a wrong word, a lost date, a sentence that says something the English does not — please tell us.
Israeli-American pioneer of logic in computer science; Gödel Prize (2000), Knuth Prize (2021)
Source: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Similar Contributors
Noam Nisan
Micha Sharir
Noga Alon
Pierre Wolper
