En la Universidad Carnegie Mellon encabezó los Departamentos de Matemáticas (1960-1964) y Ciencias Computacionales (1965-1971) y en la Universidad de Yale fue director del Departamento de Ciencias Computacionales de 1976 a 1980, tras una breve interrupción en el año escolar 1977-1978, cuando ejerció como catedrático en el Instituto de Tecnología de California.