El Premio Gödel es un premio que se entrega a autores de artículos relacionados con teoría de la computación. El nombre del premio se debe al matemático Kurt Gödel, y es otorgado por la Asociación Europea para la Informática Teórica (EATCS) y el Grupo de Interés Especial de Algoritmos y Teoría de la Computación de la Association for Computing Machinery (ACM).

El Premio Gödel se entrega anualmente desde 1993, ya sea en el STOC (ACM Symposium on Theory of Computing), una de las principales conferencias de estadounidenses en el área de informática teórica, o bien en el ICALP (International Colloquium on Automata, Languages, and Programming), una de las principales conferencias europeas en la misma área. Aparte de la distinción, incluye un bono de 5000 dólares. Como requisito para recibir el premio, el artículo ganador debe haber sido publicado en una revista científica hace máximo 14 años atrás (anteriormente eran sólo 7 años).^[1]​

• 1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran y Charles Rackoff, por el desarrollo de sistemas de demostración interactivos.
• 1994 - Johan Håstad, por encontrar una cota inferior exponencial en función del tamaño de profundidad-constante de un circuito booleano para la función paridad.
• 1995 - Neil Immerman y Róbert Szelepcsényi, por el Teorema de Immerman-Szelepcsényi.
• 1996 - Mark Jerrum y Alistair Sinclair
• 1997 - Joseph Halpern y Yoram Moses
• 1998 - Seinosuke Toda
• 1999 - Peter Shor, por el Algoritmo de Shor para factorizar números en tiempo polinómico en un computador cuántico
• 2000 - Moshe Y. Vardi y Pierre Wolper
• 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan y Mario Szegedy
• 2002 - Géraud Sénizergues, por demostrar que la equivalencia de autómatas de pila deterministas es decidible.
• 2003 - Yoav Freund y Robert Schapire, por el algoritmo AdaBoost
• 2004 - Maurice Herlihy, Mike Saks, Nir Shavit y Fotios Zaharoglou, por aplicar topología a la teoría de computación distribuida
• 2005 - Noga Alon, Yossi Matias y Mario Szegedy
• 2006 - Manindra Agrawal, Neeraj Kayal, Nitin Saxena, por el Test de primalidad AKS
• 2007 - Alexander Razborov y Steven Rudich, por las demostraciones naturales
• 2008 - Shanghua Teng y Daniel Spielman, por el análisis Smoothed de logaritmos
• 2009 - Omer Reingold, Avi Wigderson y Salil Vadhan, por el análisis de SL (complejidad)
• 2010 - Sanjeev Arora y Joseph S. B. Mitchell
• 2011 - Johan Håstad
• 2012 - Elias Koutsoupias, Christos Papadimitriou, Noam Nisan, Amir Ronen, Tim Roughgarden y Éva Tardos
• 2013 - Dan Boneh, Matthew K. Franklin y Antoine Joux
• 2014 - Ronald Fagin, Amnon Lotem y Moni Naor
• 2015 - Daniel A. Spielman y Shang-Hua Teng
• 2016 - Stephen Brookes y Peter W. O'Hearn
• 2017 - Cynthia Dwork, Frank McSherry, Kobbi Nissim, y Adam D. Smith
• 2018 - Oded Regev
• 2019 - Irit Dinur
• 2020 - Robin Moser y Gábor Tardos
• 2021 - Andrei Bulatov, Jin-Yi Cai, Xi Chen, Martin Dyer, y David Richerby
• 2022 - Zvika Brakerski, Craig Gentry, y Vinod Vaikuntanathan
• 2023 - Samuel Fiorini, Serge Massar, y Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf, y Thomas Rothvoss
• 2024 - Ryan Williams