In 1995 he was inducted as a Fellow of the Association for Computing Machinery and in 2000 he was awarded the Knuth Prize.
В 1995 получил звание почётного члена Ассоциации вычислительной техники, в 2000 году получил премию Кнута.