First text on Compiler construction (1971)[4][5] Interference freedom Contributions to programming methodology, algorithms, CS education
Awards
AFIPS Education Award (1986)
ACM SIGCSE Award for Outstanding Contributions to Computer Science Education (1991)
IEEE Computer Society Taylor L. Booth Education Award (1994)[1]
ACM Karl V. Karlstrom Outstanding Educator Award (1995)[2]
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-ccdc was invoked but never defined (see the help page).
DavidGries (born April 26, 1939) is an American computer scientist at Cornell University, mainly known for his books The Science of Programming (1981)...
Look up gries in Wiktionary, the free dictionary. Gries may refer to: Gries am Brenner, a municipality in Tyrol, Austria Gries, Bas-Rhin, a municipality...
in computer science from Cornell University in 1975. Her advisor was DavidGries. In her thesis, she invented Interference freedom, a method for proving...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
in the 1979 book An Introduction to Programming he co-authored with DavidGries. In the 1988 paper A spiral model of software development and enhancement...
algorithms. Prentice-Hall, Inc. ISBN 0132041081. Cohen, Edward (1990). DavidGries (ed.). Programming in the 1990s: An introduction to the calculation of...
programming languages. pp. 515–537. doi:10.1145/800025.1198404. ISBN 0127450408. Gries, D.; Paul, M.; Wiehle, H. R (1965). "Some techniques used in the ALCOR Illinois...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
on Big Brother. Gries appeared on Big Brother 15 in 2013. While in the house, Gries quickly formed a romantic relationship with David Girton. She was...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
University Jacobs School of Music in 1982 and a PhD in computer science under DavidGries from Cornell University in 1987. Widom began her career as a researcher...
Aspray interviews Hartmanis for the ACM Oral History interviews, 2009 DavidGries interviews Hartmanis for the Cornell ecommons collection, 2010 Len Shustek...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green DavidGries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor...
contributions by Dijkstra, Robert W. Floyd, Tony Hoare, Ole-Johan Dahl, and DavidGries. P. J. Plauger, an early adopter of structured programming, described...
algorithm. This simple fact was not published until some years later by DavidGries. Robert F. Hargraves, Jorge Llacer, and Anthony W. Knapp developed the...