Entre otros galardones, ha recibido el Premio Turing de la ACM en 1990 "por su trabajo organizando los conceptos y liderando el desarrollo de las computadoras de tiempo y recursos compartidos, a gran escala y para propósito general".