Премия Гёделя (англ. Gödel Prize) — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT (Special Interest Group on Algorithms and Computation Theory) и EATCS (European Association for Theoretical Computer Science) за выдающиеся труды по логике и теоретической информатике.
Премия вручается с 1993 года и сопровождается денежным вознаграждением размером в 5000 долларов США. Награждение проходит либо на американском симпозиуме STOC (Symposium on Theory of Computing), либо на европейской конференции ICALP (International Colloquium on Automata, Languages and Programming).
К номинации на премию допускаются лишь труды не старше 14 лет.
Источник информации: премия Гёделя — Википедия.