En 1957 entró en la Universidad de Princeton, trabajando en la preparación de su doctorado bajo las órdenes de Alonzo Church.