Loading AI tools
Da Wikipédia, a enciclopédia livre
O Prêmio Gödel é um prêmio por artigos de destaque em teoria da ciência da computação, homenageando Kurt Gödel e concedido conjuntamente pela Associação Europeia de Ciência Computacional Teórica (EATCS) e pela ACM SIGACT.
As referências deste artigo necessitam de formatação. (Setembro de 2021) |
O prêmio é concedido anualmente desde 1993. Seu valor monetário é de 5 mil dólares. O prêmio é concedido durante o "Simpósio sobre Teoria da Computação" ou durante o "Colóquio Internacional sobre Autômatos, Linguagem e Programação". Para ser elegível ao prêmio, um artigo deve ter sido publicado em uma revista especializada com revisores nos 14 anos precedentes. Anteriormente o tempo era de 7 anos.
Ano | Laureado | Notas | Ano de publicação |
---|---|---|---|
1993 | László Babai, Shafrira Goldwasser, Silvio Micali, Shlomo Moran e Charles Rackoff | pelo desenvolvimento de sistemas de prova interativa | 1988,[artigo 1] 1989[artigo 2] |
1994 | Johan Håstad | por uma demonstração sobre as dimensões dos circuitos boolianos. | 1989[artigo 3] |
1995 | Neil Immerman e Róbert Szelepcsényi | pelo Teorema de Immerman–Szelepcsényi, referente à complexidade não determinística do espaço. | 1988,[artigo 4] 1988[artigo 5] |
1996 | Mark Jerrum e Alistair Sinclair | por um trabalho sobre as cadeias de Markov e sobre a aproximação do permanente de uma matriz. | 1989,[artigo 6] 1989[artigo 7] |
1997 | Joseph Halpern e Yoram Moses | por definir uma noção formal de "conhecimento" em ambientes distribuídos. | 1990[artigo 8] |
1998 | Seinosuke Toda | 1991[artigo 9] | |
1999 | Peter Shor | 1997[artigo 10] | |
2000 | Moshe Y. Vardi e Pierre Wolper | 1994[artigo 11] | |
2001 | Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan e Mario Szegedy | 1996,[artigo 12] 1998,[artigo 13] 1998[artigo 14] | |
Géraud Sénizergues | 2001[artigo 15] | ||
2003 | Yoav Freund e Robert Schapire | 1997[artigo 16] | |
2004 | Maurice Herlihy, Michael Saks, Nir Shavit e Fotios Zaharoglou | 1999,[artigo 17] 2000[artigo 18] | |
2005 | Noga Alon, Yossi Matias e Mario Szegedy | 1999[artigo 19] | |
2006 | Manindra Agrawal, Neeraj Kayal, Nitin Saxena | 2004[artigo 20] | |
2007 | Alexander Razborov, Steven Rudich | 1997[artigo 21] | |
2008 | Daniel Spielman, Shanghua Teng | 2004[artigo 22] | |
2009 | Omer Reingold, Salil Vadhan, Avi Wigderson | 2002,[artigo 23] 2008[artigo 24] | |
2010 | Sanjeev Arora, Joseph Shannon Baird Mitchell | 1998,[artigo 25]
1999[artigo 26] | |
2011 | Johan Håstad | 2001[paper 1] | |
2012 | Elias Koutsoupias, Christos Papadimitriou, Noam Nisan, Amir Ronen, Tim Roughgarden e Éva Tardos | 2009,[paper 2] 2002,[paper 3] 2001[paper 4] | |
2013 | Dan Boneh, Matthew K. Franklin e Antoine Joux | 2003,[paper 5]
2004[paper 6] | |
2014 | Ronald Fagin, Amnon Lotem e Moni Naor | 2003,[paper 7] | |
2015 | Daniel Spielman, Shanghua Teng | 2011[paper 8]
2013[paper 9] 2014[paper 10] | |
2016 | Stephen Brookes e Peter O'Hearn | 2007, 2007 | |
2017[1] | Cynthia Dwork, Frank McSherry, Kobbi Nissim e Adam D. Smith | 2006[paper 11] | |
2018[2] | Oded Regev | 2009[paper 12] | |
2019[3] | Irit Dinur | 2007[paper 13] |
|arquivourl=
requer |arquivodata=
(ajuda) 🔗|arquivourl=
requer |arquivodata=
(ajuda) 🔗|arquivourl=
requer |arquivodata=
(ajuda) 🔗
|arquivourl=
requer |arquivodata=
(ajuda) 🔗|arquivourl=
requer |arquivodata=
(ajuda) 🔗Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.