Z Wikipedii

Nagroda Gödla – nagroda przyznawana przez EATCS i ACM za wybitne osiągnięcia w dziedzinie informatyki teoretycznej. Nazwana tak dla uczczenia Kurta Gödla, jednego z najwybitniejszych logików.

Nagroda w wysokości 5000 dolarów przyznawana jest corocznie, poczynając od roku 1993. Wręczana jest podczas sympozjum ACM na temat teorii obliczeń lub międzynarodowego kolokwium EATCS na temat automatów, języków i programowania. Nagradzani są autorzy znaczących publikacji, które ukazały się w ciągu ostatnich 14 lat (pierwotnie było to 7 lat).

[edytuj] Laureaci Nagrody

• 1993 – László Babai, Shafrira Goldwasser, Silvio Micali, Shlomo Moran i Charles Rackoff za rozwój interaktywnych systemów dowodzenia
• 1994 – Johan Hastad
• 1995 – Neil Immerman i Róbert Szelepcsényi za twierdzenie Immermana-Szelepcsényi'ego
• 1996 – Mark Jerrum i Alistair Sinclair
• 1997 – Joseph Halpern i Yoram Moses
• 1998 – Seinosuke Toda
• 1999 – Peter Shor za algorytm faktoryzacji Shora dla rozkładu liczb całkowitych na czynniki pierwsze przy pomocy komputera kwantowego
• 2000 – Moshe Y. Vardi i Pierre Wolper
• 2001 – Sanjeev Arora, Uriel Feige, Shafrira Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan i Mario Szegedy
• 2002 – Géraud Sénizergues za dowód, że równoważność deterministycznych automatów ze stosem jest problemem rozstrzygalnym
• 2003 – Yoav Freund i Robert Schapire
• 2004 – Maurice Herlihy, Mike Saks, Nir Shavit i Fotios Zaharoglou za zastosowanie metod topologicznych do teorii obliczeń rozproszonych
• 2005 – Noga Alon, Yossi Matias i Mario Szegedy
• 2006 – Manindra Agrawal, Neeraj Kayal, Nitin Saxena za test pierwszości AKS
• 2007 – Alexander Razborov, Steven Rudich

[edytuj] Odsyłacz zewnętrzny

• Lista laureatów Nagrody