Nagroda Gödla – nagroda przyznawana przez EATCS i ACM za wybitne osiągnięcia w dziedzinie informatyki teoretycznej. Nazwana tak dla uczczenia Kurta Gödla, jednego z najwybitniejszych logików.
Nagroda w wysokości 5000 dolarów przyznawana jest corocznie, poczynając od roku 1993. Wręczana jest podczas sympozjum ACM na temat teorii obliczeń lub międzynarodowego kolokwium EATCS na temat automatów, języków i programowania. Nagradzani są autorzy znaczących publikacji, które ukazały się w ciągu ostatnich 14 lat (pierwotnie było to 7 lat).
Laureaci nagrody
1993: László Babai, Shafrira Goldwasser, Silvio Micali, Shlomo Moran i Charles Rackoff za rozwój interaktywnych systemów dowodzenia 1994: Johan Håstad 1995: Neil Immerman i Róbert Szelepcsényi za twierdzenie Immermana-Szelepcsényiego 1996: Mark Jerrum i Alistair Sinclair 1997: Joseph Halpern i Yoram Moses 1998: Seinosuke Toda 1999: Peter Shor za algorytm faktoryzacji Shora dla rozkładu liczb całkowitych na czynniki pierwsze przy pomocy komputera kwantowego 2000: Moshe Y.