![Strassen Knuth Prize presentation](https://upload.wikimedia.org/wikipedia/commons/5/50/Strassen_Knuth_Prize_presentation.jpg)
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
, named after the American computer scientist
Donald E. Knuth
Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer sci ...
.
History
The Knuth Prize has been awarded since 1996 and includes an award of US$5,000. The prize is awarded by
ACM SIGACT
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer.
Publi ...
and by
IEEE Computer Society
The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...
's Technical Committee on the Mathematical Foundations of Computing. Prizes are awarded in alternating years at the ACM
Symposium on Theory of Computing The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for ...
and at the IEEE
Symposium on Foundations of Computer Science
The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society.
As writes, FOCS and its annual Association for Computing ...
, which are among the most prestigious conferences in
theoretical computer science
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory.
It is difficult to circumsc ...
. The recipient of the Knuth Prize delivers a lecture at the conference.
For instance, David S. Johnson "used his Knuth Prize lecture to push for practical applications for algorithms."
In contrast with the
Gödel Prize
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Inter ...
, which recognizes outstanding papers, the Knuth Prize is awarded to individuals for their overall impact in the field.
Winners
Since the prize was instituted in 1996, it has been awarded to the following individuals, with the citation for each award quoted (not always in full):
Selection Committees
See also
*
List of computer science awards
This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association for Computing Machinery, the Institute of Electrical and Electronics Engineers, other comput ...
References
External links
Knuth Prize website
{{Institute of Electrical and Electronics Engineers
Awards established in 1996
Theoretical computer science
Computer science awards
Donald Knuth
IEEE society and council awards
Association for Computing Machinery