David Gries | |
---|---|
![]() David Gries in 2022 | |
Born | |
Alma mater | |
Known for | First text on Compiler construction (1971)[4][5] Interference freedom Contributions to programming methodology, algorithms, CS education |
Awards |
|
Scientific career | |
Fields | Computer science |
Institutions | U.S. Naval Weapons Laboratory Stanford University University of Georgia Cornell University |
Doctoral advisors | Friedrich L. Bauer Josef Stoer |
Doctoral students | Susan Graham (1971) Susan Owicki (1975) Jennifer Widom (1989) T. V. Raman (1994) Michael E. Caspersen (2007)[3] |
Website | cs.cornell.edu/gries |
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.
The first text on compiler writing.
stanford-ccdc
was invoked but never defined (see the help page).© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search