David Gries | |
|---|---|
 David Gries in 2022 | |
| Born | April 26, 1939 |
| 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.
- ^ "Taylor L. Booth Education Award". IEEE-CS. April 3, 2018. Retrieved July 9, 2022.
- ^ "ACM Karl V. Karlstrom Outstanding Educator Award". ACM. 1995. Retrieved July 20, 2022.
- ^ "David Gries". mathgenealogy.org. Mathematics Genealogy Project. Retrieved August 7, 2022.
- ^ Gries, D. (1971). Compiler Construction for Digital Computers. New York: John Wiley and Sons. ISBN 0-471-32776-X.
The first text on compiler writing.
- ^ Cite error: The named reference
stanford-ccdcwas invoked but never defined (see the help page).