图灵奖
約翰·科克因其801信用而获得了图灵奖（1987年）和美国国家科学奖（1994年）。