stringtranslate.com

Дэвид Грайс

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

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

Жизнь

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

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

Грайс является почетным членом рабочей группы IFIP 2.3 [ 6] , целью которой является повышение способности программистов составлять программы, и он редактировал книгу «Методология программирования: сборник статей членов IFIP WG2.3» [ 7] , в которой освещается работа этой группы за первые десять лет ее существования.

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

Грайс был сторонником рассмотрения формальных методов в программировании как основной темы компьютерной науки и преподавания ее студентам бакалавриата, позиция, которая вызвала много споров в сообществе преподавателей компьютерных наук. [8] Около 700 студентов и коллег-преподавателей присутствовали на его заключительной лекции, прочитанной для его класса «Программирование и структуры данных» в мае 2022 года. [9]

Он является автором, соавтором или редактором семи учебников и 75 исследовательских работ. Его работы хранятся в архиве Корнелла. [10]

По состоянию на 2021 год он проживает в Итаке, штат Нью-Йорк .

Учебники

Работа Грайза 1971 года «Построение компиляторов для цифровых компьютеров» была первым учебником, опубликованным по проектированию и реализации языковых компиляторов . [5] [11] Это был также один из первых учебников, написанных и созданных с использованием компьютеров, в данном случае с использованием перфокарт, вводимых в программу форматирования текста, которая работала на IBM System/360 Model 65 ; [5] ранняя технология, использованная в конечном итоге, привела к тому, что книга имела несколько устаревший вид. [11] «Построение компиляторов для цифровых компьютеров» хорошо продавалась и выдержала более двадцати изданий, [5] хотя со временем ее затмила по известности «Книга Дракона», том Альфреда В. Ахо и Джеффри Д. Ульмана 1977 года «Принципы проектирования компиляторов» . [12] Тем не менее, голландский ученый-компьютерщик Дик Грюн написал о конструировании компиляторов для цифровых компьютеров , что «целые поколения конструкторов компиляторов выросли на нем и не пожалели об этом». [11]

Учебник « Введение в программирование: структурированный подход с использованием PL/I и PL/C» был написан совместно с Ричардом В. Конвеем, его коллегой по компьютерным наукам, и опубликован в 1973 году. Он использовал диалект PL/C , разработанный в Корнелле, и прошел через несколько изданий и адаптаций. Он подчеркивал дисциплину структурного программирования на протяжении всего, став одним из самых известных учебников, сделавших это, [13] и представил соображения о корректности программ , став первым вводным учебником, сделавшим это. [14]

В 1981 году Грайс опубликовал «Науку программирования» , учебник, который охватывает проверку программ . [15] В нем представлено исчисление высказываний и оно используется для формализации обработки предусловий , постусловий , инвариантов и связанных с ними сущностей, [16] а затем приводятся практические стратагемы для разработки программ путем идентификации этих логических сущностей из спецификации проблемы. [17] Обзор в SIGSOFT Software Engineering Notes показал, что книга ценна в аспектах логики и стратагем, но слишком сосредоточена на низкоуровневом программировании без обсуждения абстрактных типов данных , кроме простого массива . [15] В своей статье в Communications of the ACM компьютерный ученый Джон Бентли сказал, что «Наука программирования» является «превосходным введением в эту область» и что профессиональные программисты могут извлечь пользу из ее изучения и использования методов проверки программ в своих собственных проектах. [17]

«Логический подход к дискретной математике» был написан в соавторстве с Фредом Б. Шнайдером и опубликован в 1993 году. [8] В статье преподавателя Юго-Западного университета, пропагандирующей преподавание предметов, рассматриваемых в книге, студентам первого курса бакалавриата, его назвали «идеальным текстом, охватывающим исчисление предикатов для использования в программировании». [18] Аналогичным образом преподаватель Университета Пеппердина заявил, что «Мой опыт работы с «Логическим подходом к дискретной математике» убедил меня в том, что формальные методы легко осваиваются на уровне бакалавриата». [8]

Избранные произведения

Награды

Ссылки

  1. ^ "Премия Тейлора Л. Бута в области образования". IEEE-CS . 3 апреля 2018 г. Получено 9 июля 2022 г.
  2. ^ "Премия ACM Карла В. Карлстрома за выдающиеся достижения в области образования". ACM . 1995. Получено 20 июля 2022 г.
  3. ^ "David Gries". mathgenealogy.org . Проект генеалогии математики . Получено 7 августа 2022 г. .
  4. ^ Грайс, Д. (1971). Построение компилятора для цифровых компьютеров . Нью-Йорк: John Wiley and Sons. ISBN 0-471-32776-X. Первый текст по написанию компиляторов.
  5. ^ abcde "Источник книги Дэвида Грайса". Computer History Exhibits . Стэнфордский университет . Получено 4 октября 2022 г.
  6. ^ "IFIP Working Group 2.3 on Programming Methodology". Архивировано из оригинала 30 июня 2022 г. Получено 15 июля 2022 г.
  7. ^ ab Gries, D., ed. (1979). Методология программирования: сборник статей членов IFIP WG2.3. Монографии по информатике. Нью-Йорк: Springer Verlag. doi :10.1007/978-1-4612-6315-9. ISBN 978-1-4612-6317-3. S2CID  29484154.
  8. ^ abc Warford, J. Stanley (сентябрь 1995 г.). «Опыт преподавания формальных методов в дискретной математике». SIGCSE Bulletin . 27 (3): 60–64. doi : 10.1145/209849.209860 . S2CID  14599744.
  9. ^ ДиПьетро, ​​Луис; ЛаРокка, Дэвид (25 мая 2022 г.). «Дэвид Грайс получает награду «Профессор года по теории тау-бета-пи 2022 года» и читает заключительную лекцию в Корнелле». Cornell Bowers CIS.
  10. ^ "Документы Дэвида Грайза, № 16-13-4524. Отдел редких и рукописных коллекций, Библиотека Корнеллского университета" . Получено 12 октября 2023 г.
  11. ^ abc Grune, Dick (20 мая 2010 г.). «Конструкция компилятора до 1980 г.». dickgrune.com.
  12. ^ «Премия ACM Turing Award вручается новаторам, заложившим основы компиляторов и алгоритмов языков программирования» (пресс-релиз). Ассоциация вычислительной техники. 31 марта 2021 г.
  13. ^ «Компьютерный текст обновлен». The Ithaca Journal . 30 июня 1975 г. стр. 6 – через Newspapers.com.
  14. ^ abc "Cornell Department of Computer Science -50 Years of Innovation". Cornell Dept of Computer Science . Получено 2 сентября 2022 г.
  15. ^ ab Gerhart, Susan L. (апрель 1982 г.). «Две недавние книги по программированию». SIGSOFT Software Engineering Notes . 7 (2): 63–64. doi :10.1145/1005937.1005948. S2CID  40374643.
  16. ^ Хендерсон, Питер (1987). «Современная вводная информатика». Труды восемнадцатого технического симпозиума SIGCSE по образованию в области компьютерных наук (SIGCSE '87) . Ассоциация вычислительной техники. стр. 183–190. doi : 10.1145/31820.31756 . ISBN 0-89791-217-9.
  17. ^ ab Bentley, Jon (декабрь 1983 г.). «Жемчужины программирования: написание правильных программ». Сообщения ACM . 26 (12): 1040–1045. doi : 10.1145/358476.358484 . S2CID  6134319.
  18. ^ Денман, Ричард; Науманн, Дэвид А.; Поттер, Уолтер; Рихтер, Гэри (1994). «Вывод программ для первокурсников». Труды двадцать пятого симпозиума SIGCSE по образованию в области компьютерных наук (SIGCSE '94) . Ассоциация вычислительной техники. стр. 116–120. doi : 10.1145/191029.191077 . ISBN 0-89791-646-8.
  19. ^ "Премия за достижения в преподавании". Cornell Bowers CIS, Корнелл . Получено 10 июля 2022 г.
  20. ^ "Tau Beta Pi Professor of the Year". Ассоциация выпускников CEAA, Инженерный колледж, Корнелл . Получено 10 июля 2022 г.
  21. ^ "Премия за десятку лучших статей всех времен технического симпозиума ACM SIGCSE". SIGCSE . Получено 10 июля 2022 г. .
  22. ↑ Грайс, Дэвид (февраль 1974 г.). «Чему мы должны учить на вводном курсе программирования?». ACM SIGCSE Bulletin . 6 (1): 81–89. doi :10.1145/953057.810447.
  23. ^ "Награды". Cornell Bowers CIS - Computer Science . Получено 8 сентября 2022 г. .
  24. ^ Хронология кафедры CS Корнелла [14] объявляет об этой докторской диссертации
  25. ^ Хронология кафедры CS Корнелла [14] объявляет об этой докторской диссертации
  26. ^ "Weiss Presidential Fellow (за вклад в высшее образование)". Корнелл . Получено 10 июля 2022 г.
  27. ^ "Аудиосистема для технических чтений" (PDF) (диссертация на соискание ученой степени доктора философии) . Получено 9 июля 2022 г.
  28. ^ "ACM Fellows". ACM . 1994 . Получено 9 июля 2022 .
  29. ^ "David Gries: ACM Fellow". ACM . 1994 . Получено 9 июля 2022 .
  30. ^ "Distinguished Service Award". CRA . 16 января 2015 г. Получено 10 июля 2022 г.
  31. ^ "Исторические стипендиаты, AAAS". AAAS . Получено 10 июля 2022 г. .
  32. ^ "Дэвид Грайс - Мемориальный фонд Джона Саймона Гуггенхайма". 1983 . Получено 10 июля 2022 .
  33. ^ "ACM Programming Systems and Languages ​​Paper Award". ACM . 1977. Получено 7 июля 2022 г.

Внешние ссылки