Американский математик. Родился в Лос- Анджелесе. Окончил Чикагский университет (1949). В 1954—1957 работал там же, в 1957—1958 и 1962— 1963 — в Принстонском институте перспективных исследований, в 1958— 1959 — в Калифорнийском университете в Беркли, с 1959 работает в Корнеллском университете (с 1965 — профессор). Одновременно в 1965—1966 — директор Центра прикладной математики, с 1962 — Центра морских исследований.

Исследования относятся к математической логике, теории автоматов, вычислительной математике