Дэвид Грис - David Gries

Дэвид Грис
Родился (1939-04-26) 26 апреля 1939 г. (возраст 81)
Флашинг, Королев, Нью-Йорк, Соединенные Штаты
ГражданствоСоединенные Штаты
ОбразованиеБ.С.; Куинс Колледж (1960)
РС.; Иллинойсский университет в Урбана-Шампейн (1963)
Доктор рер. физ.; Технический университет Мюнхена (1966)
ИзвестенНаука программирования (книга)
Логический подход к дискретной математике (книга)
Супруг (а)Элейн
НаградыПремия Американской федерации обществ обработки информации в области образования (1986)
ACM SIGCSE Премия за выдающийся вклад в образование в области компьютерных наук (1991)
Институт инженеров-электриков Компьютерное общество Премия Тейлора Л. Бута в области образования (1994)
Премия ACM Karl V. Karlstrom за выдающийся педагог
Научная карьера
ПоляИнформатика образование
УчрежденияЛаборатория военно-морского оружия США
Стэндфордский Университет
Университет Джорджии
Инженерный колледж Корнельского университета
ДокторантыФридрих Л. Бауэр
Джозеф Стоер
Докторанты20
Другие известные студентыТ.В. Раман
Интернет сайтwww.cs.cornell.edu/ gries

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

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

Жизнь

Gries заработал Бакалавр (B.S.) из Куинс Колледж в 1960 году. Следующие два года он проработал программистом-математиком в Лаборатория военно-морского оружия США, где он познакомился со своей женой Элейн.

Он заработал Магистр естественных наук (M.S.) в математика от Иллинойсский университет в Урбана-Шампейн в 1963 году. Находясь в Иллинойсе, Грайс работал с Манфредом Полом и Рюдигером Виле над написанием полного компилятор для языка АЛГОЛ для IBM 7090 универсальный компьютер. Он заработал Доктор рер. физ. в 1966 году из Технический университет Мюнхена, учусь под Фридрих Л. Бауэр и Джозеф Стоер.

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

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

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

Работает

  • Грис, Д. (1971). Конструкция компилятора для цифровых компьютеров (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: Джон Уайли и сыновья.
  • Gries, D .; Конвей, Р. (1976). Учебник по структурированному программированию с использованием PL / I, PL / C и PL / C7.
  • Gries, D .; Conway, R .; Циммерман, Э. К. (1976). Учебник по структурированному программированию с использованием Pascal.
  • Gries, D .; Conway, R .; Вортман, Д. (1977). Введение в структурированное программирование с использованием SP / K.
  • Gries, D .; Конвей, Р. (1978). Введение в программирование: структурированный подход, издание 3. Кембридж: Уинтроп.
  • Gries, D .; Conway, R .; Fay, M .; Басс, К. (1979). Введение в программирование микропроцессоров с использованием PL / Z.
  • Грис, Д., изд. (1979). Методология программирования: сборник статей членов IFIP WG2.3. Нью-Йорк: Springer Verlag.
  • Грис, Д. (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). Программа Live Companion. Нью-Йорк: Джон Вили и сыновья.
  • Gries, D .; Грис, П. (2000). ProgramLive. Итака, Нью-Йорк: DataDescription.

Награды

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

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

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

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

Рекомендации

  1. ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 2020-09-10.
  2. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 2020-09-10.
  3. ^ «Проф. Дэвид Грис: Премия ACM имени Карла В. Карлстрома за выдающийся педагог». Ассоциация вычислительной техники. 1995. Получено 2020-03-31.
  4. ^ «Стипендиаты ACM: США, 1994». Ассоциация вычислительной техники. 1994. Получено 2020-03-31.

внешняя ссылка