Nagroda Gödla
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 systemów 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