저명한 수학자이자 논리학자인 에밀 L. 포스트 밑에서 수학했고 알론조 처치의 지도를 받아 1950년 프린스턴 대학교에서 박사 학위를 받았다. 60년이 넘는 기간 동안 컴퓨터 과학과 논리학의 관계에 대 해 연구했으며 뉴욕 대학교에서 30년간 재직하며 컴퓨터 과학과를 설립하는 데 공헌했다.