Received a bachelor's degree in physics from Yale University in 1975 and a Ph.D. in computer science from Carnegie Mellon University in 1980.