Дэвид Грис | |
---|---|
Родившийся | |
Гражданство | Соединенные Штаты |
Образование | BS ; Куинс-колледж (1960) MS ; Университет штата Иллинойс в Урбане-Шампейне (1963) Д-р рер. физ. ; Технический университет Мюнхена (1966) |
Известен | Наука программирования (книга) Логический подход к дискретной математике (книга) |
Супруг (а) | Элейн |
Награды | Премия Американской федерации обществ обработки информации в области образования (1986) Премия ACM SIGCSE за выдающийся вклад в образование в области компьютерных наук (1991) Институт инженеров-электриков Компьютерное общество Премия Тейлора Л. Бута в области образования (1994) Премия ACM Karl V. Karlstrom за выдающийся педагог |
Научная карьера | |
Поля | Образование в области информатики |
Учреждения | Лаборатория морского вооружения США Стэнфордский университет Джорджии Инженерный колледж Корнельского университета |
Докторанты | Фридрих Л. Бауэр Йозеф Штёр |
Докторанты | 20 |
Другие известные студенты | ТВ Раман |
Веб-сайт | www |
Дэвид Грис (родился 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]
Ссылки [ править ]
- ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Проверено 10 сентября 2020 .
- ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (02.03.2011). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Проверено 10 сентября 2020 .
- ^ "Проф. Дэвид Грис: Премия выдающегося педагога ACM Карла В. Карлстрома" . Ассоциация вычислительной техники . 1995 . Проверено 31 марта 2020 .
- ^ "Стипендиаты ACM: США, 1994" . Ассоциация вычислительной техники . 1994 . Проверено 31 марта 2020 .
Внешние ссылки [ править ]
- Официальный веб-сайт
- Новости науки Корнельского университета: Компьютерная ассоциация называет Корнелла Гриса выдающимся педагогом
- Дэвид Грайс в проекте « Математическая генеалогия»
- Книги Дэвида Гриса (размещены на Amazon)