University of Warwick / Brown University / University of Aarhus / Tsinghua University / /
IndustryTerm
simplex algorithm / interactive proof systems / zig-zag graph product / formal systems / /
Organization
Award Committee / INRIA / Association for Computing Machinery Special Interest Group / Tsinghua University / University of Aarhus / Brown University / European Association for Theoretical Computer Science / University of Warwick / /
Person
Carsten Lund / Noga Alon / John von Neumann / Joseph Halpern / Avi Wigderson / Moshe Y. Vardi / Manindra Agrawal / Yoram Moses / Robert Schapire / Yoav Freund / Eli Upfal / Mike Paterson / Seinosuke Toda / Silvio Micali / Fotios Zaharoglou / Neeraj Kayal / Rajeev Motwani / Jean-Pierre Jouannaud / László Babai / Pierre Wolper / Kurt Gödel / Alistair Sinclair / Salil Vadhan / Shafi Goldwasser / Sanjeev Arora / Alexander A. Razborov / Charles Rackoff / Mario Szegedy / Shlomo Moran / Shang-Hua Teng / Cynthia Dwork / Daniel A. Spielman / Yossi Matias / Omer Reingold / Nitin Saxena / Michael Saks / Mark Jerrum / László Lovász / Steven Rudich / Neil Immerman / Johan Håstad / Maurice Herlihy / Uriel Feige / Peter W. Shor / Shmuel Safra / Nir Shavit / /
Position
single author / Chair / representative / President and the SIGACT Chair / /
PublishedMedium
SIAM Journal on Computing / Journal of the ACM / Annals of Mathematics / Theoretical Computer Science / Theory of Computing / /
2010 Gödel Prize Call for Nominations The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the