David Gries

spouse = children = signature =

website = footnotes =

David Gries (born April 26, 1939) is an American computer scientist at Cornell University, mainly known for his books The Science of Programming (1981) and A Logical Approach to Discrete Math (1993, with Fred B. Schneider).

He was associate dean for undergraduate programs at the Cornell University College of Engineering from 2003–2011. His research interests include programming methodology and related areas such as programming languages, related semantics, and logic. His son, Paul Gries, has been a co-author of an introductory textbook to computer programming using the language Python and is a teaching stream professor in the Department of Computer Science at the University of Toronto.

Life Gries earned a Bachelor of Science (B.S.) from Queens College in 1960. He spent the next two years working as a programmer-mathematician for the United States Naval Weapons Laboratory, where he met his wife, Elaine.

He earned a Master of Science (M.S.) in mathematics from the University of Illinois at Urbana-Champaign in 1963. While at Illinois, Gries worked with Manfred Paul and Ruediger Wiehle to write a full compiler for the language ALGOL 60 for the IBM 7090 mainframe computer. He earned his Dr. rer. nat. in 1966 from the TH München, studying under Friedrich L. Bauer and Josef Stoer.

Gries is member emeritus of IFIP Working Group 2.3, whose aim is to increase programmers' ability to compose programs, and he edited Programming Methodology: a Collection of Articles by Members of IFIP WG2.3, which highlights the work of this group in its first ten years.

Gries was an assistant professor at Stanford University from 1966–1969 and then became an associate professor at Cornell University in Ithaca, New York. He spent the next 30 years there, including time as chair of the computer science department from 1982–1987. Gries had a Guggenheim Fellowship in 1984–1985. He spent 1999–2002 at the University of Georgia in Athens and returned to Cornell in January 2003.

Gries was an advocate of treating formal methods in programming as a core computer science topic and teaching it to undergraduates, a stance that found large amounts of debate within the computer science education community.

He is author, co-author, or editor of seven textbooks and 75 research papers. His papers are archived at Cornell.

, he lives in Ithaca, New York.

Textbooks Gries' 1971 work Compiler Construction for Digital Computers was the first textbook to be published on designing and implementing language compilers. although over time it would be eclipsed in renown by "the Dragon Book", Alfred V. Aho and Jeffrey D. Ullman's 1977 volume Principles of Compiler Design. Nonetheless, Dutch computer scientist Dick Grune has written of Compiler Construction for Digital Computers that "entire generations of compiler constructors have grown up with it and they have not regretted it."

The textbook An Introduction to Programming: A Structured Approach Using PL/I and PL/C was co-written with his computer scientist colleague Richard W. Conway and published in 1973. It used the PL/C dialect developed at Cornell and went through several editions and adaptations. It stressed the discipline of structured programming throughout, becoming one of the most prominent textbooks to do so, and introduced considerations of program correctness, becoming the first introductory textbook to do so. and then provides practical stratagems for program development via identifying those logical entities from a problem specification. Writing in Communications of the ACM, computer scientist Jon Bentley said The Science of Programming was "an excellent introduction to the field" and said that professional programmers could benefit from studying it and using program verification techniques in their own projects.

A Logical Approach to Discrete Math was co-authored with Fred B. Schneider and published in 1993. Similarly, a faculty member at Pepperdine University stated that, "My experience with A Logical Approach to Discrete Math convinced me that formal methods are easily mastered at the undergraduate level."

Selected works (2022) Tau Beta Pi Professor of the Year (2022) Oldest paper in the ACM SIGCSE Technical Symposium Top Ten Papers of All Time (2019) Amity Booker Prize, with Paul Gries (2016) Honorary Doctor of Science, Miami University, Oxford, Ohio (1999) Honorary Doctor of Laws, Daniel Webster College, Nashua, New Hampshire (1996)The Cornell CS Department Timeline –among the first ten Fellows (1995) Advisor of T.V. Raman, whose Ph.D. thesis won the annual (1995) IEEE-CS (1994)

Charter Fellow, ACM (1994) CRA Distinguished Service Award (1991) Fellow, AAAS (1990) ACM SIGCSE Award for Outstanding Contribution to CS Education (1991) AFIPS Education Award (1986) Guggenheim Fellowship (1983) ACM Programming Systems and Languages Paper Award, with Susan Owicki, for the "Verifying properties of parallel programs: an axiomatic approach" paper (1977) Superior Accomplishment Award, U.S. Naval Weapons Lab, Dahlgren, Va. (1961)