Knuth Prize on:
[Wikipedia]
[Google]
[Amazon]
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of
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
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.
History
The Knuth Prize has been awarded since 1996 and includes an award of US$5,000. The prize is awarded by ACM SIGACT and byIEEE 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 operation ...
'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
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 circumscribe the ...
. 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 Interes ...
, 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