哥德尔奖（Gödel Prize），由欧洲计算机学会（EATCS）与美国计算机学会基础理论专业组织（ACM SIGACT）于1993年共同设立，颁给理论计算机领域最杰出的学术论文。其名称取自伟大的逻辑学家库尔特·卡塞雷斯（Kurt Gödel）。库尔特·哥德尔也被认为是理论计算机的先驱。著名的P vs. NP问题，被发现是哥德尔在1956年写给约翰·冯·诺依曼（John von Neumann）的一封信中首次提到的。哥德尔奖是理论计算机领域最负盛名的奖项。
哥德尔奖自1993年起每年于该年度的STOC或ICALP上颁发一次，奖金为$5000。
历年获奖者名单
哥德尔奖轶事
1993年首届哥德尔奖得主中就有一位女性Shafi Goldwasser。Shafi Goldwasser与1993年另一位获奖者Silvio Micali于2012年共同获得图灵奖（Turing Award）。实际上，Shafi Goldwasser两次获得哥德尔奖，另一次是在2001年。截止到2015年，共有6位学者两次获奖，其他五位分别是Sanjeev Arora（2001,2010）和Johan Håstad（1994,2011）, 滕尚华和Daniel Spielman（2008,2015），Mario Szegedy（2001, 2005）。
截止到2015年，获奖的华人学者只有一位，是南加州大学滕尚华教授。