In 1957 he returned to the US working for IBM and from 1961–1965 pursuing his doctorate in computer science at the University of Michigan in Ann Arbor.
Năm 1957, ông trở về Hoa Kỳ làm việc cho IBM và từ năm 1961 191965 theo học bằng tiến sĩ khoa học máy tính tại Đại học Michigan ở Ann Arbor.