Turing Award
1967年获ACM图灵奖。图灵奖引文：