The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel. Computer science (informally, CS or compsci) is, in its most general sense, the study of computation and information processing, both in hardware and in software. ... Kurt Gödel Kurt Gödel [kurt gøːdl], (April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher of mathematics. ...

The Gödel Prize is awarded annually, since 1993. It includes an award of $5000. The prize is awarded either at STOC (ACM Symposium on Theory of Computing, one of main North American conferences in theoretical computer science) or ICALP (International Colloquium on Automata, Languages, and Programming, one of main European conferences in the field). To be eligible for the prize, a paper must be published in a refereed journal within last 7 years. 1993 is a common year starting on Friday of the Gregorian calendar and marked the Beginning of the International Decade to Combat Racism and Racial Discrimination (1993-2003) Events Media:January January 1 - Czechoslovakia divides. ... World map showing location of North America A satellite composite image of North America North America is the third largest continent in area and in population after Eurasia and Africa. ... World map showing location of Europe A satellite composite image of Europe Europe is geologically and geographically a peninsula, forming the westernmost part of Eurasia. ...

Winners

• 1993 - László Babai, Shafi Goldwasser, Silvio Micali, Shlomo Moran, and Charles Rackoff
• 1994 - Johan Håstad
• 1995 - Neil Immerman and Róbert Szelepcsényi
• 1996 - Mark Jerrum and Alistair Sinclair
• 1997 - Joseph Halpern and Yoram Moses
• 1998 - Seinosuke Toda
• 1999 - Peter Shor
• 2000 - Moshe Vardi and Pierre Wolper
• 2001 - Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, and Mario Szegedy
• 2002 - Géraud Sénizergues
• 2003 - Yoav Freund and Robert Schapire
• 2004 - Maurice Herlihy, Mike Saks, Nir Shavit and Fotios Zaharoglou
• 2005 - Noga Alon, Yossi Matias and Mario Szegedy

1993 is a common year starting on Friday of the Gregorian calendar and marked the Beginning of the International Decade to Combat Racism and Racial Discrimination (1993-2003) Events Media:January January 1 - Czechoslovakia divides. ... Dr. Shafrira Goldwasser (born 1956) is the RSA Professor of electrical engineering and computer science at MIT, and a professor of mathematical sciences at the Weizmann Institute of Science, Israel. ... Silvio Micali (b. ... 1994 was a common year starting on Saturday of the Gregorian calendar, and was designated the International year of the Family. ... Johan Håstad (born 1960) is a Swedish theoretical computer scientist most famous for his work on computational complexity theory. ... 1995 was a common year starting on Sunday of the Gregorian calendar. ... Neil Immerman is one of the key developers of an active research program called Descriptive Complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory. ... Róbert Szelepcsényi (?-?) was a Slovak student of Faculty of Mathematics, Physics and Informatics of Comenius University in Bratislava. ... 1996 is a leap year starting on Monday of the Gregorian calendar, and was designated the International Year for the Eradication of Poverty. ... 1997 is a common year starting on Wednesday of the Gregorian calendar, and was designated the International Year of the Reef. ... 1998 is a common year starting on Thursday of the Gregorian calendar, and was designated the International Year of the Ocean. ... 1999 is a common year starting on Friday of the Common Era, and was designated the International Year of Older Persons by the United Nations. ... Peter Shor (born August 14, 1959) is an American theoretical computer scientist most famous for his work on quantum computation, in particular for devising a quantum algorithm for factoring exponentially faster than the best currently-known algorithm running on a classical computer (see Shors algorithm). ... 2000 is a leap year starting on Saturday of the Gregorian calendar. ... 2001 is a common year starting on Monday of the Gregorian calendar. ... Dr. Shafrira Goldwasser (born 1956) is the RSA Professor of electrical engineering and computer science at MIT, and a professor of mathematical sciences at the Weizmann Institute of Science, Israel. ... László Lovász (1948-) is a Hungarian mathematician, known for work in combinatorics, for which he was in 1999 awarded a Wolf Prize. ... Madhu Sudan (मधु सूदन) (b. ... 2002 is a common year starting on Tuesday of the Gregorian calendar. ... 2003 is a common year starting on Wednesday of the Gregorian calendar. ... 2004 is a leap year starting on Thursday of the Gregorian calendar. ... 2005 is a common year starting on Saturday of the Gregorian calendar. ...

External link

• Prize website with list of winners (http://sigact.acm.org/prizes/godel/)