David Gries

David Gries
David Gries in 2022
Born (1939-04-26) April 26, 1939 (age 85)
Alma mater
Known forFirst text on Compiler construction (1971)[4][5]
Interference freedom
Contributions to programming methodology, algorithms, CS education
Awards
Scientific career
FieldsComputer science
InstitutionsU.S. Naval Weapons Laboratory
Stanford University
University of Georgia
Cornell University
Doctoral advisorsFriedrich L. Bauer
Josef Stoer
Doctoral studentsSusan Graham (1971)
Susan Owicki (1975)
Jennifer Widom (1989)
T. V. Raman (1994)
Michael E. Caspersen (2007)[3]
Websitecs.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.

  1. ^ "Taylor L. Booth Education Award". IEEE-CS. April 3, 2018. Retrieved July 9, 2022.
  2. ^ "ACM Karl V. Karlstrom Outstanding Educator Award". ACM. 1995. Retrieved July 20, 2022.
  3. ^ "David Gries". mathgenealogy.org. Mathematics Genealogy Project. Retrieved August 7, 2022.
  4. ^ 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.
  5. ^ Cite error: The named reference stanford-ccdc was invoked but never defined (see the help page).