En 1966, se incorporó a la Universidad de Stanford, donde es actualmente Profesor Emérito de Ingeniería Eléctrica y Ciencias de la Computación, así como Director del Centro de Computación Confiable.