HOME

TheInfoList



OR:

The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of
computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
, 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 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 IEEE Computer Society (commonly known as the Computer Society or CS) is a technical society of the Institute of Electrical and Electronics Engineers (IEEE) dedicated to computing, namely the major areas of hardware, software, standards and people ...
'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 is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...
. 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 Awards of the Association for Computing Machinery