I 1975 tok han sin Bachelor of science ved Yale University og i 1981 en filosofisk doktorgrad i informatikk ved Carnegie Mellon University, hvor hans rådgivere var Jon Bentley og H.T. Kung.