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.
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.
Laureados AnoLaureadoNotasAno de publicação1993László Babai, Shafrira Goldwasser, Silvio Micali, Shlomo Moran e Charles Rackoffpelo desenvolvimento de sistemas de prova interativa 1988, 19891994Johan Håstadpor uma demonstração sobre as dimensões dos circuitos boolianos.1989 1995Neil Immerman e Róbert Szelepcsényipelo Teorema de Immerman–Szelepcsényi, referente à complexidade não determinística do espaço.1988, 19881996Mark Jerrum e Alistair Sinclairpor um trabalho sobre as cadeias de Markov e sobre a aproximação do permanente de uma matriz.1989, 19891997Joseph Halpern e Yoram Mosespor definir uma noção formal de "conhecimento" em ambientes distribuídos.19901998Seinosuke Toda1991 1999Peter Shor19972000Moshe Y. Vardi e Pierre Wolper1994 2001Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan e Mario Szegedy1996, 1998, 1998 Géraud Sénizergues20012003Yoav Freund e Robert Schapire 1997 2004Maurice Herlihy, Michael Saks, Nir Shavit e Fotios Zaharoglou1999,. Gödel prize lecture 20002005Noga Alon, Yossi Matias e Mario Szegedy 1999. First presented at the Symposium on Theory of Computing (STOC) in 1996.2006Manindra Agrawal, Neeraj Kayal, Nitin Saxena2004 2007Alexander Razborov, Steven Rudich19972008Daniel Spielman, Shanghua Teng20042009Omer Reingold, Salil Vadhan, Avi Wigderson2002, 2008 2010Sanjeev Arora, Joseph Shannon Baird Mitchell1998, 19992011Johan Håstad20012012Elias Koutsoupias, Christos Papadimitriou, Noam Nisan, Amir Ronen, Tim Roughgarden e Éva Tardos2009, 2002, 20012013Dan Boneh, Matthew K. Franklin e Antoine Joux2003, 20042014Ronald Fagin, Amnon Lotem e Moni Naor2003,2015Daniel Spielman, Shanghua Teng2011 2013 20142016Stephen Brookes e Peter O'Hearn2007, 20072017Cynthia Dwork, Frank McSherry, Kobbi Nissim e Adam D. Smith20062018 Oded Regev20092019 Irit Dinur2007
Ligações externas