64年当选为ACM主席。1971年，加盟耶鲁大学计算机系，多次任系主任，直至去世。期间1977年-1978年曾在加州理工院执教。1990年2月7日，因心脏病在康涅狄格州的纽哈芬去世，享年68岁。
贡献.在高级程序设计技术和编译器构造方面。
荣誉.即主要指在Algol 58和Algol 60的形成和修改过程中的核心和关键作用。其图灵奖演讲稿为：“"The Synthesis of Algorithmic Systems"”（算法系统的合成）Sec