Recibió su Doctorado en Matemáticas en 1964 bajo la supervisión de Marvin Minsky.