Safekipedia

Gödel Prize

Adapted from Wikipedia · Adventurer experience

Portrait of Kurt Gödel, a famous logician, during his student years in Vienna.

The Gödel Prize is an annual prize for great papers about theoretical computer science. It is given each year by two groups: the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The prize is named after Kurt Gödel, a famous mathematician. Gödel once asked an important question called the “P versus NP” problem about solving difficult tasks fast. This question still interests scientists today.

Kurt Gödel

The Gödel Prize started in 1993. It is given out each year at big science meetings called ICALP or STOC. STOC is the ACM Symposium on Theory of Computing, a main meeting in North America. ICALP is the International Colloquium on Automata, Languages and Programming, a main meeting in Europe. Papers can win if they were published in science journals in the last 14 years. The prize includes a reward of US$5000.

A group of six experts picks the winner each year. Leaders from EATCS and SIGACT help choose three members each for this group. These members serve for three years. The group is led by leaders from either EATCS or SIGACT, and this changes each year. The Knuth Prize is different. Instead of giving the prize to papers, it is given to people for their big effects on the whole field.

Recipients

The Gödel Prize is given each year for important work in theoretical computer science. It is given by two groups: the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The prize is named after Kurt Gödel, who helped start important questions in this field.

YearName(s)Publication year
1993László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, and Charles Rackoff1988, 1989
1994Johan Håstad1989
1995Neil Immerman and Róbert Szelepcsényi1988, 1988
1996Mark Jerrum and Alistair Sinclair1989, 1989
1997Joseph Halpern and Yoram Moses1990
1998Seinosuke Toda1991
1999Peter Shor1997
2000Moshe Y. Vardi and Pierre Wolper1994
2001Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, and Mario Szegedy1996, 1998, 1998
2002Géraud Sénizergues2001
2003Yoav Freund and Robert Schapire1997
2004Maurice Herlihy, Michael Saks, Nir Shavit and Fotios Zaharoglou1999, 2000
2005Noga Alon, Yossi Matias and Mario Szegedy1999
2006Manindra Agrawal, Neeraj Kayal, Nitin Saxena2004
2007Alexander Razborov, Steven Rudich1997
2008Daniel Spielman, Shang-Hua Teng2004
2009Omer Reingold, Salil Vadhan, Avi Wigderson2002, 2008
2010Sanjeev Arora, Joseph S. B. Mitchell1998, 1999
2011Johan Håstad2001
2012Elias Koutsoupias, Christos Papadimitriou, Noam Nisan, Amir Ronen, Tim Roughgarden and Éva Tardos2009, 2002, 2001
2013Dan Boneh, Matthew K. Franklin, and Antoine Joux2003,
2004
2014Ronald Fagin, Amnon Lotem, and Moni Naor2003,
2015Daniel Spielman, Shang-Hua Teng
2011 2013 2014
2016Stephen Brookes and Peter W. O'Hearn2007, 2007
2017Cynthia Dwork, Frank McSherry, Kobbi Nissim, and Adam D. Smith2006
2018Oded Regev2009
2019Irit Dinur2007
2020Robin Moser and Gábor Tardos2010
2021Andrei Bulatov, Jin-Yi Cai, Xi Chen, Martin Dyer, and David Richerby2013 2013 2017
2022Zvika Brakerski, Craig Gentry, and Vinod Vaikuntanathan2014, 2014
2023Samuel Fiorini, Serge Massar, and Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf, and Thomas Rothvoss2015, 2017
2024Ryan Williams2011
2025Eshan Chattopadhyay and David Zuckerman2016

Winning papers

The Gödel Prize is a special award given each year for excellent work in theoretical computer science. It is offered by two groups that support this kind of science: the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The prize is named after Kurt Gödel, a famous thinker who asked important questions about solving difficult problems quickly. This prize helps to find and celebrate the best ideas in computer science every year.

Related articles

This article is a child-friendly adaptation of the Wikipedia article on Gödel Prize, available under CC BY-SA 4.0.

Images from Wikimedia Commons. Tap any image to view credits and license.