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
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
Micha Sharir
Noam Nisan
Pierre Wolper
Jeffrey Ullman
Oded Goldreich
