KnuthPrizeCitationJohanHastad