Safekipedia

Gödel Prize

Adapted from Wikipedia · Discoverer experience

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

The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by 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 award is named in honor of Kurt Gödel, a famous mathematician. Gödel’s important connection to this field was that he first mentioned the “P versus NP” question in a 1956 letter to John von Neumann. He wondered if certain hard problems could be solved quickly, a question that still excites scientists today.

Kurt Gödel

The Gödel Prize has been awarded since 1993. It is given each year either at ICALP or STOC, major conferences for scientists studying computation. STOC is the ACM Symposium on Theory of Computing, a main event in North America, while ICALP is the International Colloquium on Automata, Languages and Programming, a main event in Europe. To be eligible, a paper must have been published in a science journal within the last 14 years. The prize includes a reward of US$5000.

A special group of six experts chooses the winner each year. The leaders of EATCS and SIGACT each help pick three members for this group, who serve for three years. The group is led by leaders from either EATCS or SIGACT, changing each year. Unlike the Gödel Prize, which honors great papers, the Knuth Prize is given to individuals for their big impacts on the whole field.

Recipients

The Gödel Prize is given each year for really 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 questions that are very important 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 really smart work in theoretical computer science. It's offered by two groups that love 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 brilliant thinker who once asked a big question about solving tough problems quickly. This prize helps 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.