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