Gödel Prize (theoretical CS)
Jewish recipients of the Gödel Prize (theoretical CS) documented in the ThankJews directory. Jews are about 40% of all recipients — while making up roughly 0.2% of the world's population.
33 documented recipients
Cynthia Dwork2006
Co-inventor of differential privacy, the standard for protecting personal data; Gödel Prize (2017), Knuth Prize (2020)
Source: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Moshe Vardi2000
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
Noga Alon2005
Israeli combinatorialist; Gödel Prize (2005), Knuth Prize (2022)
Source: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Éva Tardos2012
Hungarian-American founder of algorithmic game theory; Gödel Prize (2012), Knuth Prize (2023)
Source: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Noam Nisan2012
Israeli pioneer of algorithmic game theory and complexity; Gödel Prize (2012), Knuth Prize (2016)
Source: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Shlomo Moran1993
Israeli computer scientist; Gödel Prize (1993) for Arthur-Merlin interactive proof systems
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Charles Rackoff1993
Co-inventor of zero-knowledge proofs, a pillar of modern cryptography; Gödel Prize (1993)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Neil Immerman1995
Proved the Immerman-Szelepcsényi theorem; founder of descriptive complexity; Gödel Prize (1995)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Joseph Halpern1997
Pioneer of reasoning about knowledge in distributed systems; Gödel Prize (1997)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Yoram Moses1997
Israeli computer scientist; Gödel Prize (1997) for the theory of knowledge in distributed systems
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Pierre Wolper2000
Pioneer of model checking with temporal logic; Gödel Prize (2000)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Uriel Feige2001
Israeli theorist of approximation hardness and probabilistically checkable proofs; Gödel Prize (2001)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Shmuel Safra2001
Israeli co-author of the PCP theorem, a landmark of complexity theory; Gödel Prize (2001)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Yoav Freund2003
Israeli co-inventor of AdaBoost, a cornerstone of machine learning; Gödel Prize (2003)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Robert Schapire2003
Co-inventor of AdaBoost and the theory of boosting in machine learning; Gödel Prize (2003)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Michael Saks2004
Complexity theorist; Gödel Prize (2004) for the topological analysis of asynchronous computability
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Nir Shavit2004
Israeli expert in multiprocessor computing; Gödel Prize (2004)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Yossi Matias2005
Israeli co-creator of streaming algorithms; Gödel Prize (2005); longtime head of Google's Israel R&D center
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Steven Rudich2007
Complexity theorist behind the 'natural proofs' barrier; Gödel Prize (2007)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Omer Reingold2009
Israeli cryptographer who proved SL = L; Gödel Prize (2009)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Amir Ronen2012
Israeli co-founder of algorithmic mechanism design; Gödel Prize (2012)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Dan Boneh2013
Israeli-born pioneer of pairing-based cryptography securing the modern web; Gödel Prize (2013)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Matthew Franklin2013
Co-invented identity-based encryption with Dan Boneh; Gödel Prize (2013)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Ronald Fagin2014
Founder of finite model theory (Fagin's theorem) and database theory; Gödel Prize (2014)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Amnon Lotem2014
Israeli co-author of the optimal aggregation algorithms for databases; Gödel Prize (2014)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Moni Naor2014
Israeli cryptographer (Weizmann Institute); Gödel Prize (2014)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Kobbi Nissim2017
Israeli co-inventor of differential privacy; Gödel Prize (2017)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Oded Regev2018
Israeli inventor of Learning With Errors, the basis of post-quantum cryptography; Gödel Prize (2018)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Irit Dinur2019
Israeli mathematician who gave the celebrated combinatorial proof of the PCP theorem; Gödel Prize (2019)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Gábor Tardos2020
Hungarian mathematician; Gödel Prize (2020) for the algorithmic Lovász Local Lemma
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Zvika Brakerski2022
Israeli pioneer of fully homomorphic encryption — computing on encrypted data; Gödel Prize (2022)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
David Zuckerman2025
Expert in randomness extractors and derandomization; Gödel Prize (2025)
Source: Jinfo.org — Jewish recipients of the Gödel Prize
Daniel Kane2026
Complexity theorist and mathematician; Gödel Prize laureate (2026)
Source: Jinfo.org — Jewish recipients of the Gödel Prize