Дэвид Грайс
Дэвид Грайс | |
|---|---|
 Дэвид Грайс в 2022 году | |
| Рожденный | 26 апреля 1939 г. |
| Альма-матер | |
| Известный | Первый текст о конструкции компилятора (1971 г.) [4] [5] Свобода вмешательства Вклад в методологию программирования , алгоритмы, образование в области компьютерных технологий. |
| Награды |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Лаборатория вооружения ВМС США Стэнфордский университет Университет Джорджии Корнелльский университет |
| Докторские консультанты | Фридрих Л. Бауэр Йозеф Стер |
| Докторанты | Сьюзан Грэм (1971) Сьюзан Овики (1975) Дженнифер Видом (1989) T. V. Raman (1994) Майкл Э. Касперсен (2007) [3] |
| Веб-сайт | cs.cornell.edu/gries |
Дэвид Грис (родился 26 апреля 1939 г.) — американский учёный-компьютерщик из Корнелльского университета , в основном известный своими книгами «Наука программирования» (1981 г.) и «Логический подход к дискретной математике» (1993 г., совместно с Фредом Б. Шнайдером ).
В 2003–2011 годах он был заместителем декана по программам бакалавриата в Инженерном колледже Корнеллского университета . Его исследовательские интересы включают методологию программирования и смежные области, такие как языки программирования , соответствующая семантика и логика . Его сын, Пол Грис, был соавтором вводного учебника по компьютерному программированию с использованием языка Python и профессором кафедры компьютерных наук Университета Торонто .
Жизнь [ править ]
Грис получил степень бакалавра наук (BS) в Куинс-колледже в 1960 году. Следующие два года он проработал программистом-математиком в Лаборатории военно-морского вооружения США , где познакомился со своей женой Элейн.
Он получил степень магистра наук (MS) по математике в Университете Иллинойса в Урбана-Шампейн в 1963 году. Находясь в Иллинойсе, Грис работал с Манфредом Полем и Рюдигером Виле над написанием полного компилятора языка ALGOL 60 для IBM 7090. мэйнфрейма компьютер . Он заработал докторскую степень. физ. В 1966 году окончил TH München , учился у Фридриха Л. Бауэра и Йозефа Стоера .
Грис является почетным членом Рабочей группы 2.3 ИФИП . [6] целью которого является повышение способности программистов составлять программы, и он редактировал Методология программирования: сборник статей членов IFIP WG2.3 , [7] в котором освещается работа этой группы за первые десять лет ее существования.
Грис был доцентом Стэнфордского университета с 1966 по 1969 год, а затем стал доцентом Корнелльского университета в Итаке, штат Нью-Йорк . Он провел там следующие 30 лет, в том числе в качестве заведующего кафедрой информатики с 1982 по 1987 год. Грис получил стипендию Гуггенхайма в 1984–1985 годах. 1999–2002 годы он провел в Университете Джорджии в Афинах и вернулся в Корнелл в январе 2003 года.
Грайс был сторонником рассмотрения формальных методов программирования как основной темы информатики и преподавания их студентам, и эта позиция вызвала большое количество споров в образовательном сообществе в области информатики. [8] Около 700 студентов и коллег-преподавателей присутствовали на его последней лекции, прочитанной на его курсе «Программирование и структуры данных» в мае 2022 года. [9]
Он является автором, соавтором и редактором семи учебников и 75 научных статей. Его документы хранятся в Корнелле. [10]
По состоянию на 2021 год [update], он живет в Итаке, Нью-Йорк .
Учебники [ править ]
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]
Избранные работы [ править ]
- Грис, Д. (1971). Создание компилятора для цифровых компьютеров (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: Джон Уайли и сыновья. ISBN 0-471-32776-Х .
Первый текст по написанию компиляторов.
[5] - Грис, Д.; Конвей, Р. (1973). Введение в программирование: структурированный подход, издание 1 . Кембридж: Уинтроп.
- Овицкий, С.; Грис, Д. (1976). «Проверка свойств параллельных программ: аксиоматический подход» . Коммуникации АКМ . 19 (5): 279–285. дои : 10.1145/360051.360224 . S2CID 9099351 .
- Овицкий, С.; Грис, Д. (1976). «Техника аксиоматического доказательства для параллельных программ I» . Акта Информатика . 6 (4). Берлин: Шпрингер (Германия): 319–340. дои : 10.1007/BF00268134 . S2CID 206773583 .
- Грис, Д., изд. (1979) Методология программирования: сборник статей членов IFIP WG2.3. [7]
- Грис, Д. (1981). Наука программирования . Монографии по информатике (на английском, испанском, японском, китайском, итальянском и русском языках). Нью-Йорк: Springer Verlag. дои : 10.1007/978-1-4612-5983-1 . ISBN 978-0-387-96480-5 . S2CID 37034126 .
- Грис, Д.; Фейен, WHJ; ван Гастерен, AJM; Мисра, Дж., ред. (1990). Красота – это наш бизнес . Монографии по информатике. Нью-Йорк: Springer Verlag. дои : 10.1007/978-1-4612-4476-9 . ISBN 978-1-4612-8792-6 . S2CID 24379938 .
- Грис, Д.; Шнайдер, ФБ (1993). Логический подход к дискретной математике . Монографии по информатике. Нью-Йорк: Springer Verlag. дои : 10.1007/978-1-4757-3837-7 . ISBN 978-1-4419-2835-1 . S2CID 206657798 .
- Грис, Д.; Де Ровер, WP, ред. (1998). Концепции и методы программирования PROCOMET '98 . ИФИП: Достижения в области информационных и коммуникационных технологий. Лондон: Спрингер. дои : 10.1007/978-0-387-35358-6 . ISBN 978-1-4757-6299-0 . S2CID 30793173 .
- Грис, Д.; Грис, П. (2004). Мультимедийное введение в программирование с использованием Java . Нью-Йорк: Springer Verlag. дои : 10.1007/b138328 . ISBN 0-387-22681-8 .
В комплекте был компакт-диск «Program Live» с видео.
- Грис, Д. (2022). JavaHyperText и структуры данных . Итака, Нью-Йорк.
Бесплатный онлайн-текст с более чем 50 видео.
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
Награды [ править ]
- за выдающиеся достижения в области преподавания Премия Корнелл Бауэрс СНГ – первый лауреат [19] (2022)
- Профессор года Тау Бета Пи [20] (2022)
- Самая старая статья на техническом симпозиуме ACM SIGCSE . Десять лучших статей всех времен. [21] [22] (2019)
- Дружбы с Полом Грайсом (2016) Букеровская премия [23]
- Почетный доктор наук Университета Майами , Оксфорд, Огайо (1999). [24]
- Почетный доктор права Колледжа Дэниела Вебстера , Нашуа, Нью-Гэмпшир (1996). [25]
- «Премия ACM Карла В. Карлстрема за выдающийся педагог» . (1995)
- Президентский научный сотрудник Вайса [26] – среди первых десяти стипендиатов (1995)
- Советник ТВ Рамана, доктор философии. диссертация [27] выиграл ежегодный «Премия докторской диссертации ACM» . (1995)
- IEEE-CS «Премия Тейлора Л. Бута в области образования» . 3 апреля 2018 г. (1994 г.)
- Чартерный член, ACM [28] [29] (1994)
- CRA за выдающиеся заслуги Премия [30] (1991)
- Сотрудник AAAS [31] (1990)
- Премия ACM SIGCSE за выдающийся вклад в образование в области компьютерных наук (1991).
- AFIPS в области образования (1986 г.) Премия
- Стипендия Гуггенхайма [32] (1983)
- Премия ACM по системам программирования и языкам, со Сьюзан Овики , [33] за статью «Проверка свойств параллельных программ: аксиоматический подход» (1977 г.)
- Премия за выдающиеся достижения, Лаборатория военно-морского вооружения США, Дальгрен, Вирджиния (1961).
Ссылки [ править ]
- ^ «Премия Тейлора Л. Бута в области образования» . IEEE-CS . 3 апреля 2018 года . Проверено 9 июля 2022 г.
- ^ «Премия ACM Карла В. Карлстрема за выдающийся педагог» . АКМ . 1995 . Проверено 20 июля 2022 г.
- ^ «Дэвид Грайс» . mathgenealogy.org . Проект математической генеалогии . Проверено 7 августа 2022 г.
- ^ Грис, Д. (1971). Создание компилятора для цифровых компьютеров . Нью-Йорк: Джон Уайли и сыновья. ISBN 0-471-32776-Х .
Первый текст по написанию компиляторов.
- ↑ Перейти обратно: Перейти обратно: а б с д и «Источник сборника Дэвида Грайса» . Экспонаты по истории компьютеров . Стэнфордский университет . Проверено 4 октября 2022 г.
- ^ «Рабочая группа ИФИП 2.3 по методологии программирования» . Архивировано из оригинала 30 июня 2022 года . Проверено 15 июля 2022 г.
- ↑ Перейти обратно: Перейти обратно: а б Грис, Д., изд. (1979). Методология программирования: сборник статей членов IFIP WG2.3 . Монографии по информатике. Нью-Йорк: Springer Verlag. дои : 10.1007/978-1-4612-6315-9 . ISBN 978-1-4612-6317-3 . S2CID 29484154 .
- ↑ Перейти обратно: Перейти обратно: а б с Уорфорд, Дж. Стэнли (сентябрь 1995 г.). «Опыт преподавания формальных методов дискретной математики» . Бюллетень SIGCSE . 27 (3): 60–64. дои : 10.1145/209849.209860 . S2CID 14599744 .
- ^ ДиПьетро, Луи; ЛаРокка, Дэвид (25 мая 2022 г.). «Дэвид Грайс получает награду «Профессор года Тау Бета Пи 2022» и читает заключительную лекцию в Корнелле» . Корнелл Бауэрс, СНГ.
- ^ «Документы Дэвида Грайса, № 16-13-4524. Отдел коллекций редких и рукописей, Библиотека Корнелльского университета» . Проверено 12 октября 2023 г.
- ↑ Перейти обратно: Перейти обратно: а б с Грюн, Дик (20 мая 2010 г.). «Строительство компилятора до 1980 года» . dickgrune.com.
- ^ «Премия Тьюринга ACM вручается новаторам, которые сформировали основы компиляторов и алгоритмов языков программирования» (пресс-релиз). Ассоциация вычислительной техники. 31 марта 2021 г.
- ^ «Компьютерный текст обновлен» . Журнал Итаки . 30 июня 1975 г. с. 6 – через Newspapers.com.
- ↑ Перейти обратно: Перейти обратно: а б с «Факультет компьютерных наук Корнелла – 50 лет инноваций» . Корнеллский факультет компьютерных наук . Проверено 2 сентября 2022 г.
- ↑ Перейти обратно: Перейти обратно: а б Герхарт, Сьюзен Л. (апрель 1982 г.). «Две последние книги по программированию». Заметки по разработке программного обеспечения SIGSOFT . 7 (2): 63–64. дои : 10.1145/1005937.1005948 . S2CID 40374643 .
- ^ Хендерсон, Питер (1987). «Современная вводная информатика». Материалы восемнадцатого технического симпозиума SIGCSE по образованию в области информатики (SIGCSE '87) . Ассоциация вычислительной техники. стр. 183–190. дои : 10.1145/31820.31756 .
- ↑ Перейти обратно: Перейти обратно: а б Бентли, Джон (декабрь 1983 г.). «Перлы программирования: Написание правильных программ» . Коммуникации АКМ . 26 (12): 1040–1045. дои : 10.1145/358476.358484 . S2CID 6134319 .
- ^ Денман, Ричард; Науманн, Дэвид А.; Поттер, Уолтер; Рихтер, Гэри (1994). «Вывод программ для первокурсников». Материалы двадцать пятого симпозиума SIGCSE по образованию в области информатики (SIGCSE '94) . Ассоциация вычислительной техники. стр. 116–120. дои : 10.1145/191029.191077 .
- ^ «Премия за выдающиеся педагогические достижения» . Корнелл Бауэрс СНГ, Корнелл . Проверено 10 июля 2022 г.
- ^ «Профессор года Тау Бета Пи» . Ассоциация выпускников CEAA, Инженерный колледж, Корнелл . Проверено 10 июля 2022 г.
- ^ «Награда за десятку лучших работ всех времён технического симпозиума ACM SIGCSE» . СИГКСЕ . Проверено 10 июля 2022 г.
- ^ Грис, Дэвид (февраль 1974 г.). «Чему нам следует учить на вводном курсе программирования?» . Бюллетень ACM SIGCSE . 6 (1): 81–89. дои : 10.1145/953057.810447 .
- ^ «Награды» . Корнелл Бауэрс СНГ – Информатика . Проверено 8 сентября 2022 г.
- ^ Хронология отдела CS Корнелла [14] объявляет об этой докторской степени
- ^ Хронология отдела CS Корнелла [14] объявляет об этой докторской степени
- ^ «Президентский стипендиат Weiss (за вклад в высшее образование)» . Корнелл . Проверено 10 июля 2022 г.
- ^ «Аудиосистема для технических чтений» (PDF) (кандидатская диссертация) . Проверено 9 июля 2022 г.
- ^ «Стипендиаты ACM» . АКМ . 1994 год . Проверено 9 июля 2022 г.
- ^ «Дэвид Грайс: член ACM» . АКМ . 1994 год . Проверено 9 июля 2022 г.
- ^ «Награда за выдающиеся заслуги» . КРА . 16 января 2015 года . Проверено 10 июля 2022 г.
- ^ «Исторические товарищи, AAAS» . АААС . Проверено 10 июля 2022 г.
- ^ «Дэвид Грайс - Мемориальный фонд Джона Саймона Гуггенхайма» . 1983 год . Проверено 10 июля 2022 г.
- ^ «Награда за доклад по системам и языкам программирования ACM» . АКМ . 1977 год . Проверено 7 июля 2022 г.
Внешние ссылки [ править ]
- Официальный сайт
- Новости науки Корнелльского университета: Компьютерная ассоциация называет Грайса Корнелла выдающимся педагогом
- Дэвид Грайс в проекте «Математическая генеалогия»
- Книги Дэвида Грайса (выставлены на Amazon)
- «Разговор с Дэвидом Грайсом», интервью Роберта Л. Констебля, 2015 г.
Алгол -программирование |
|---|
- 1939 рождений
- Живые люди
- Исследователи языков программирования
- Американские ученые-компьютерщики
- Выпускники Мюнхенского технического университета
- Преподаватели Корнеллского университета
- Факультет Университета Джорджии
- Американские преподаватели информатики
- Формальные методы люди
- Американские авторы учебников
- Американские писатели-мужчины научной литературы
- Писатели по информатике
- Американские математики XX века
- Американские математики XXI века
- 1994 г. Члены Ассоциации вычислительной техники.