Recibió su Ph.D de Yale por su disertación de tesis "Algorithmic Program Debugging" en 1982.