图灵奖
其图灵奖演讲稿为：“"The Synthesis of Algorithmic Systems"”（算法系统的合成）