Дэвид Грис

Дэвид Грис (родился 26 апреля 1939 года в Флашинг, Куинс, Нью-Йорк ) - американский ученый-компьютерщик из Корнельского университета, США, в основном известный своими книгами «Наука программирования». (1981) и «Логический подход к дискретной математике» (1993, с Фредом Б. Шнайдером ).

Он был заместителем декана по программам бакалавриата в Инженерном колледже Корнельского университета с 2003 по 2011 годы. Его исследовательские интересы включают методологию программирования и смежные области, такие как языки программирования, родственная семантика и логика. Его сын, Пол Грис, был соавтором вводного учебника по компьютерному программированию с использованием языка Python и является профессором кафедры компьютерных наук Университета Торонто..

• 1 Жизнь
• 2 Работы
• 3 Награды
• 4 Ссылки
• 5 Внешние ссылки

Грис получил степень бакалавра наук (BS) из Queens College в 1960 году. Следующие два года он проработал программистом-математиком в США. Лаборатория морского оружия, где он встретил свою жену Элейн.

Он получил степень магистра наук (MS) в математике в Университете Иллинойса в Урбана-Шампейн в 1963 году. Находясь в Иллинойсе Грис работал с Манфредом Полом и Рюдигером Виле над написанием полного компилятора для языка ALGOL для IBM 7090 мэйнфрейма. Он получил свою Dr. rer. nat. в 1966 году из Мюнхенского технического университета, обучение у Фридриха Л. Бауэра и Йозефа Штера.

Он был членом Международной федерации обработки информации (IFIP) Рабочей группы 2.1 IFIP по алгоритмическим языкам и исчислениям, которая указала, поддерживает и поддерживает языки АЛГОЛ 60 и АЛГОЛ 68.

Грис был доцентом в Стэнфордском университете с 1966 по 1969 год, а затем стал адъюнкт-профессором Корнельского университета в Итака, Нью-Йорк. Он провел там следующие 30 лет, включая время в качестве заведующего факультета информатики с 1982–1987 гг. У него была стипендия Гуггенхайма в 1984–1985 годах. Он провел 1999–2002 годы в Университете Джорджии в Афинах и вернулся в Корнелл в январе 2003 года.

Он является автором, соавтором или редактором семи учебники и 75 научных статей. По состоянию на 2020 год он живет в Итака, Нью-Йорк.

• Gries, D. (1971). Конструкция компилятора для цифровых компьютеров (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: John Wiley and Sons.
• Gries, D.; Конвей, Р. (1976). Учебник по структурированному программированию с использованием PL / I, PL / C и PL / C7.
• Gries, D.; Conway, R.; Циммерман, Э. К. (1976). Учебник по структурированному программированию с использованием Паскаля.
• Gries, D.; Conway, R.; Вортман, Д. (1977). Введение в структурированное программирование с использованием SP / K.
• Gries, D.; Конвей, Р. (1978). Введение в программирование: структурированный подход, издание 3. Cambridge: Winthrop.
• Gries, D.; Conway, R.; Fay, M.; Басс, К. (1979). Введение в программирование микропроцессоров с использованием PL / Z.
• Gries, D., ed. (1979). Методология программирования: сборник статей членов IFIP WG2.3. Нью-Йорк: Springer Verlag.
• Gries, D. (1981). Наука программирования (на английском, русском и японском языках). Нью-Йорк: Springer Verlag.
• Gries, D.; Feijen, W.H.J.; van Gasteren, A.J.M.; Мисра, Дж., Ред. (1990). Красота - это наш бизнес. Нью-Йорк: Springer Verlag.
• Gries, D.; Шнайдер, Ф. Б. (1993). Пособие для преподавателя «Логический подход к дискретной математике». Итака, Нью-Йорк.
• Gries, D.; Шнайдер, Ф. Б. (1993). Логический подход к дискретной математике. Нью-Йорк: Springer Verlag.
• Gries, D.; Де Ровер, У. П., ред. (1998). Концепции и методы программирования, PROCOMET '98 Chapman and Hall. Лондон.
• Gries, D.; Грис, П. (2004). Мультимедиа Введение в программирование с использованием Java. Нью-Йорк: Springer Verlag.
• Gries, D.; Gries, P.; Холл, П. (2001). Программа ProgramLive Companion. Нью-Йорк: John Wiley Sons.
• Gries, D.; Грис, П. (2000). ProgramLive. Итака, Нью-Йорк: DataDescription.

Грайс - единственный обладатель четырех крупных образовательных наград в области компьютерных наук:

• Премия Американской федерации обществ обработки информации в области образования (1986)
• Ассоциация вычислительной техники (ACM) Премия SIGCSE за выдающийся вклад в образование в области компьютерных наук (1991)
• Компьютерное общество Института инженеров-электриков Премия Тейлора Л. Бута в области образования (1994)
• Премия ACM Karl V. Karlstrom за выдающийся педагог (1995)

Он имеет две почетные докторские степени:

• Почетный доктор права, Колледж Дэниела Вебстера, Нашуа, Нью-Гэмпшир (1996)
• Почетный доктор наук, Университет Майами, Оксфорд, Огайо (1999)

Он входит в число первые десять профессорско-преподавательского состава Корнельского университета удостоены президентской стипендии Корнелла Вайса за вклад в высшее образование.

В 1994 году он был введен в должность научным сотрудником в Ассоциации вычислительной техники за соавторство «Техника аксиоматического доказательства для параллельных программ I».

• Официальный веб-сайт
• Новости науки Корнельского университета: Компьютерная ассоциация называет Cornell's Gries выдающийся педагог
• Дэвид Грайс в проекте Mathematics Genealogy Project
• Книги Дэвида Гриса (перечисленные на Amazon)