El Premio Donald Ervin Knuth es un premio que se otorga a aquellos que realizan contribuciones destacadas sobre los fundamentos de ciencias de la computación.