Результаты поиска - Gries, David

Грис, Дэвид

|Дата смерти = |Место смерти = |Гражданство = США |Научная сфера = информатика |Место работы = Корнеллский университет |Альма-матер = Колледж Куинса
Иллинойсский университет в Урбана-Шампейн
Мюнхенский технический университет |Научный руководитель = |Знаменитые ученики = |Известен как = Педагог и методист в сфере верификации программ
специалист по доказательным параллельным вычислениям |Известна как = |Награды и премии = Образовательная премия Американской федерации обработки информации (1986)
Премия за выдающийся вклад в информатическое образование секции информатики Ассоциации вычислительной техники (1991)
Образовательная премия им. Тейлора Бута Компьютерного общества Института электротехники и электроники (1994)
Премия выдающемуся деятелю образования Ассоциации вычислительной техники (1995) |Роспись = |Ширина росписи = |Сайт = http://www.cs.cornell.edu/gries/ }}

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