Turing Award
2000年、聖オーラヴ勲章を受章。2001年にはクリステン・ニゴールとチューリング賞を共同受賞し、2002年には同じくニゴールとIEEEフォン・ノイマンメダルを共同受賞した。