1986年图灵奖得主。在形式语言，计算理论及数据结构领域中，由他写作的教科书，被认为是经典着作。
生平.1962年在斯坦福大学取得硕士学位，1964年取得博士。毕业后曾在普林斯顿大学任教，之后转往康乃尔大学。1986年与罗伯特·塔扬共同获得图灵奖。