프린스턴 대학교
1957년에 프린스턴 대학교 수학과 박사 과정에 입학하였고, 1959년에 알론조 처치 아래 프린스턴 대학교에서 박사 학위를 받았다. 1958년~1961년 동안에 프린스턴 대학교 수학과 강사로 있었다.