图灵奖
1993年，他与理查德·斯特恩斯一起因在計算複雜性理論取得的杰出贡献而获得图灵奖。