Knuth Prize

From Wikipedia, the free encyclopedia

Gary Miller presents Volker Strassen with the 2008 Knuth Prize at SODA 2009.

The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after Donald E. Knuth.

History

The Knuth Prize is awarded since 1996 and includes an award of $5000. The prize is awarded by ACM SIGACT and by IEEE Computer Society's Technical Committee on the Mathematical Foundations of Computing. Prizes are awarded in alternation at the ACM Symposium on Theory of Computing and at the IEEE Symposium on Foundations of Computer Science, which are among the most prestigious conferences in theoretical computer science.

In contrast with the Gödel Prize, which recognizes outstanding papers, the Knuth Prize is awarded to individuals for their overall impact in the field.

Winners

1996 - Andrew Yao
1997 - Leslie Valiant
1999 - László Lovász
2000 - Jeffrey Ullman
2002 - Christos Papadimitriou
2003 - Miklós Ajtai
2005 - Mihalis Yannakakis
2007 - Nancy Lynch
2008 - Volker Strassen
2010 - David S. Johnson
2011 - Ravi Kannan^[1]
2012 – Leonid Levin^[2]
2013 – Gary Miller^[3]

External links

Prize website with list of winners

References

v t e Knuth Prize laureates

Yao (1996) Valiant (1997) Lovász (1999) Ullman (2000) Papadimitriou (2002) Ajtai (2003) Yannakakis (2005) Lynch (2007) Strassen (2008) Johnson (2010) Kannan (2011) Levin (2012) Miller (2013)

v t e Donald Knuth

Publications	The Art of Computer Programming "The Complexity of Songs" Computers and Typesetting Concrete Mathematics Surreal Numbers Things a Computer Scientist Rarely Talks About Selected papers series

Software	TeX MIXAL (MIX MMIX GNU MDK)

Fonts	AMS Euler Computer Modern Metafont

Literate programming	WEB CWEB

Algorithms	Knuth's Algorithm X Knuth–Bendix completion algorithm Knuth–Morris–Pratt algorithm Knuth shuffle Robinson–Schensted–Knuth correspondence Trabb Pardo–Knuth algorithm Generalization of Dijkstra's algorithm

Other	Dancing Links Knuth reward check Knuth Prize Man or boy test Quater-imaginary base -yllion Potrzebie system of weights and measures

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.