The Gödel Prize is an award given annually for outstanding papers in the field of computability theory and mathematical logic. Named after the mathematician Kurt Gödel, the prize recognizes significant contributions that advance our understanding of these areas. Established in 1993, the Gödel Prize is jointly awarded by the Association for Computing Machinery (ACM) and the European Association for Theoretical Computer Science (EATCS). Recipients receive a certificate and a monetary award, highlighting their influential work in theoretical computer science and logic.