Gödelova cena

Gödelova cena je vědecké ocenění udělované od roku 1993 každoročně za nejlepší odborné články z oblasti teoretické informatiky.

Uděluje ji European Association for Theoretical Computer Science a Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory. Součástí ceny je finanční odměna ve výši 5000$. Cena je pojmenována po rakouském matematikovi a logikovi Kurtu Gödelovi.


Nositelé ceny
Rok Jméno Zdůvodnění
1993László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran a Charles Rackoffza vývoj interaktivních důkazových systémů
1994Johan Håstadza exponenciální odhad složitosti Booleových okruhů s konstantní hloubkou
1995Neil Immerman a Róbert Szelepcsényiza Immermanovu-Szelepcsényiho větu
1996Mark Jerrum a Alistair Sinclairza práci v oblasti markovových řetězců
1997Joseph Halpern a Yoram Mosesza definici formálního pojmu "poznatek" v distribuovaných systémech
1998Seinosuke Todaza Todovu větu
1999Peter Shorza Shorův algoritmus na faktorizaci čísel v polynomiálním čase na kvantovém počítači
2000Moshe Y. Vardi a Pierre Wolperza práci v oblasti ověřování modelů pomocí konečných automatů
2001Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Radžív Mótvání, Shmuel Safra, Madhu Sudan a Mario Szegedyza PCP větu a její aplikace v oblasti složitosti aproximace
2002Géraud Sénizerguesza důkaz, že problém ekvivalence deterministických zásobníkových automatů je rozhodnutelný
2003Yoav Freund a Robert Schapireza algoritmus AdaBoost.
2004Maurice Herlihy, Mike Saks, Nir Shavit a Fotios Zaharoglouza aplikaci topologie v teorii distribuovaných výpočtů
2005Noga Alon, Yossi Matias a Mario Szegedyza základní výsledky v oblasti algoritmů na datových proudech (streamech)
2006Maníndra Agravál, Neeraj Kayal a Nitin Saxenaza test prvočíselnosti AKS.
2007Aleksandr Aleksandrovič Razborov a Steven Rudichza tzv. přirozené důkazy
2008Shanghua Teng a Daniel Spielmanza tzv. zjemněnou analýza algoritmů
2009Omer Reingold, Salil Vadhan a Avi Wigdersonza tzv. zig-zag součin grafů
2010Sanjeev Arora a Joseph S. B. Mitchellza algoritmus při řešení eukleidovského problému
2011Johan Håstadza zavedení nových analytických metod v teorii aproximace obtížnosti při výpočtu problémů
2012Elias Koutsoupias, Christos Papadimitriou, Tim Roughgarden, Éva Tardos, Noam Nisan a Amir Ronenza základní články o algoritmické teorii her
2013Antoine Joux, Dan Boneh a Matthew K. Franklinza pokrok v kryptografii
2014Ronald Fagin, Amnon Lotem a Moni Naorza návrh nových algoritmů
2015Daniel A. Spielman a Shang-Hua Teng
2016Stephen Brookes a Peter W. O'Hearn

Externí odkazy

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.