Gödelova cena

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores

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$. +more Cena je pojmenována po rakouském matematikovi a logikovi Kurtu Gödelovi.

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. +more 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

[url=https://wayback.archive-it.org/all/20161007181643/http://www.sigact.org/Prizes/Godel/]Oficiální stránka ceny[/url]

Kategorie:Matematická ocenění Kategorie:Informatická ocenění

5 min read
Share this post:
Like it 8

Leave a Comment

Please, enter your name.
Please, provide a valid email address.
Please, enter your comment.
Enjoy this post? Join Cesko.wiki
Don’t forget to share it
Top