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