Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

Жизнь [ править ]

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

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

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

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

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

Работает [ править ]

  • Грис, Д. (1971). Конструкция компилятора для цифровых компьютеров (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: Джон Вили и сыновья. Bibcode : 1971ccdc.book ..... G .
  • Gries, D .; Конвей, Р. (1976). Учебник по структурированному программированию с использованием PL / I, PL / C и PL / C7 .
  • Gries, D .; Conway, R .; Циммерман, EC (1976). Учебник по структурированному программированию с использованием Паскаля .
  • 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 .; Фейен, WHJ; ван Гастерен, AJM; Мисра, Дж., Ред. (1990). Красота - это наш бизнес . Нью-Йорк: Springer Verlag.
  • Gries, D .; Шнайдер, Ф. Б. (1993). Пособие для преподавателя «Логический подход к дискретной математике» . Итака, Нью-Йорк.
  • Gries, D .; Шнайдер, Ф. Б. (1993). Логический подход к дискретной математике . Нью-Йорк: Springer Verlag.
  • Gries, D .; Де Ровер, WP, ред. (1998). Концепции и методы программирования, PROCOMET '98 Chapman and Hall . Лондон.
  • Gries, D .; Грис, П. (2004). Мультимедиа Введение в программирование с использованием Java . Нью-Йорк: Springer Verlag.
  • Gries, D .; Gries, P .; Холл, П. (2001). Программа ProgramLive Companion . Нью-Йорк: Джон Вили и сыновья.
  • Gries, D .; Грис, П. (2000). ProgramLive . Итака, Нью-Йорк: DataDescription.

Награды [ править ]

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

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

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

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

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

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

Ссылки [ править ]

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

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • Новости науки Корнельского университета: Компьютерная ассоциация называет Корнелла Гриса выдающимся педагогом
  • Дэвид Грайс в проекте « Математическая генеалогия»
  • Книги Дэвида Гриса (размещены на Amazon)