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

:
...