Премія Кнута

Премія Кнута (англ. Donald E. Knuth Prize) — премія, яка присуджується з 1996 року за особливий внесок у розвиток основ інформатики, названа на честь американського математика і автора книжок про теорію обчислювальних систем Дональда Кнута. Премія вручається кожні півтора року і супроводжується грошовою винагородою розміром в 5000 $.

Гері Міллер вручає премію 2008 року Фолькеру Штрассену

Організаторами премії є організації ACM та IEEE, а точніше групи інтересів ACM SIGACT (Special Interest Group on Algorithms and Computing Theory) і IEEE TCMFC (Technical Committee on the Mathematical Foundations of Computing). Нагородження відбувається по черзі на конференціях STOC (Annual ACM Symposium on Theory of Computing) і FOCS (Annual IEEE Symposium on Foundations of Computer Science), які є одними з найпрестижніших конференцій в області теорії обчислювальних систем. На відміну від Премії Геделя, премія імені Дональда Кнута вручається не за окрему роботу, а за загальний внесок у розвиток основ інформатики.