Родился в 1939 году во Флашинге — старейшем районе нью-йоркского боро Куинс.Получил степень бакалавра в Колледже Куинса (Городской университет Нью-Йорка) в 1960 году, последующие два года работал программистом-математиком в Лаборатории вооружений ВМФ США. Там познакомился со своей будущей женой Илейн.Магистратуру окончил в 1963 году в Иллинойсском университете в Урбана-Шампейн, совместно с Манфредом Полом и Рюдигером Виле написав полный компилятор с алгола для компьютера IBM 7090.
В 1966 году получил степень доктора естественных наук в Мюнхенском техническом университете, где учился у Фридриха Бауэра и Йозефа Стёра.
В период 1966—1969 годов работал ассистентом профессора в Стэнфордском, а после этого — в Корнеллском университете, где провел 30 лет и в 1982—1987 годы возглавлял кафедру информатики.
В 1999—2002 годы преподавал в Университете Джорджии в Атенсе, вернувшись в Корнелл в январе 2003 года.Автор, соавтор и редактор семи учебников и 75 научных статей. По состоянию на 2012 год живёт в Итаке (штат Нью-Йорк).