统核心的发展上，有重要地位。他也是程式语言SuperPascal的设计者。
生平.1972年，写作了教科书《作业系统原理》（Operating System Principles）。同年，提出管程的设计。1987年，成为美国纽约州雪城大学的教授。