Педагог и методист в сфере верификации программ
специалист по доказательным параллельным вычислениям
Награды и премии
Образовательная премия Американской федерации обработки информации (1986)
Премия за выдающийся вклад в информатическое образование секции информатики Ассоциации вычислительной техники (1991)
Образовательная премия им. Тейлора Бута Компьютерного общества Института электротехники и электроники (1994)
Премия выдающемуся деятелю образования Ассоциации вычислительной техники (1995)
Сайт:
cs.cornell.edu/gries/
Дэвид Грис (David Gries, род. 26 апреля1939, Нью-Йорк) — американский учёный в области информатики, профессор Корнелльского университета, известный прежде всего как автор книг «Наука программирования» (1981) и «Логический подход к дискретной математике» (1993, в соавторстве с Фредом Шнайдером) и соавтор работы «Приём автоматического доказательства для параллельного программирования I».
Родился в 1939 году во Флашинге — старейшем районе нью-йоркского боро Куинс.
Получил степень бакалавра в Колледже Куинса (Городской университет Нью-Йорка) в 1960 году, последующие два года работал программистом-математиком в Лаборатории вооружений ВМФ США. Там познакомился со своей будущей женой Илейн.
В период 1966—1969 годов работал ассистентом профессора в Стэнфордском, а после этого — в Корнелльском университете, где провел 30 лет и в 1982—1987 годы возглавлял кафедру информатики. В 1999—2002 годы преподавал в Университете Джорджии в Атенсе, вернувшись в Корнелл в январе 2003 года.
Автор, соавтор и редактор семи учебников и 75 научных статей. По состоянию на 2012 год живёт в Итаке (штат Нью-Йорк).
Награды
Грис — единственный обладатель четырёх основных премий в области информатического образования:
Образовательной премии Американской федерации обработки информации (1986);
Образовательной премии имени Тейлора Бута Компьютерного общества Института электротехники и электроники (1994);
Премии выдающемуся деятелю образования Ассоциации вычислительной техники (1995).
Почётный доктор права Колледжа Даниеля Вебстера (Нашуа, штат Нью-Гэмпшир, 1966) и почётный доктор естествознания Университета Майами (Оксфорд, штат Огайо, 1999).
С 1994 года — феллоАссоциации вычислительной техники за соавторство в работе «Приём автоматического доказательства для параллельного программирования I».
Книги
Compiler Construction for Digital Computers. John Wiley and Sons, New York, 1971, 491 pages. (Переведена на испанский, японский, китайский, итальянский и русский языки. Русское издание: Грис, Дэвид. Конструирование компиляторов для цифровых вычислительных машин : Пер. с англ. / Дэвид Грис; Пер. Е. Б. Докшицкая. — М. : Мир, 1975. — 544 с. : ил. — Библиогр.: с. 522—532. -Алф. указ.: с. 533—534. -Предм. указ.: с. 535—539. — (в пер.) : Б. ц. УДК 681.3.068, РУБ 681.3).
A Primer on Structured Programming, Using PL/I, PL/C and PL/C7. 1976, 397 pages. (with R. Conway).
Primer on Structured Programming using Pascal. 1976, 433 pages. (with R. Conway and E.C. Zimmerman).
An Introduction to Structured Programming using SP/K. 1977. (with R. Conway and D. Wortman).
An Introduction to Programming --a structured approach. Winthrop, Cambridge, Edition 3, 1978, 509 pages. (with R. Conway).
Introduction to Microprocessor Programming using PL/Z. 1979, 593 pages. (with R. Conway, M. Fay, and C. Bass).
Programming Methodology: a Collection of Articles by Members of IFIP WG2.3. Editor. Springer Verlag, New York, 1979, 437 pages.
The Science of Programming. Springer Verlag, New York, 1981, 350 pages. (Переведена на русский и японский языки. Русское издание: Грис, Дэвид. Наука программирования : Пер.с англ. / Д. Грис; пер. Н. Н. Непейвода, ред. пер. А. П. Ершов. — М. : Мир, 1984. — 416 с. : ил. — Библиогр.: с. 413—414. — Б. ц., УДК 681.3.06, РУБ 681.3).
Beauty is our Business. Editor. Springer Verlag, New York, 1990, 453 pages. (with W.H.J. Feijen, A.J.M. van Gasteren, and J. Misra).
Instructor’s Manual for «A Logical Approach to Discrete Math». D. Gries and F.B. Schneider, Ithaca, 1993. 311 pages (with F.B. Schneider).
A Logical Approach to Discrete Math. Springer Verlag, NY, 1993, 500 pages (with F.B. Schneider).
Programming Concepts and Methods, PROCOMET '98 (ed.). Chapman and Hall, London, 1998. (with W.-P. De Roever).
Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004, 536 pages (with P. Gries).
The ProgramLive Companion. John Wiley & Sons, NY, 2001. 350 pages. (with P.Gries and P. Hall).
ProgramLive. DataDescription. Ithaca, NY, 2000. (with P. Gries).
Ссылки
Professor David Gries
Cornell University Science News: Computer association names Cornell’s Gries an outstanding educator