David Gries
David Gries | |
---|---|
Born | |
Citizenship | United States |
Alma mater | |
Known for | First text on 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.
Life
Gries earned a
He earned a
Gries is member emeritus of IFIP Working Group 2.3,[6] 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, [7] 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 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.[8]
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.
He is author, co-author, or editor of seven textbooks and 75 research papers. His papers are archived at Cornell.[9]
As of 2021[update], 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
The textbook An Introduction to Programming: A Structured Approach Using PL/I and PL/C was co-written with his computer scientist college
In 1981, Gries published The Science of Programming, a textbook that covers
A Logical Approach to Discrete Math was co-authored with Fred B. Schneider and published in 1993.[8] A paper from a faculty member at Southwestern University advocating teaching the subjects the book covered to first-year undergraduates and called it "an ideal text covering predicate calculus for use in programming."[17] 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."[8]
Selected works
- Gries, D. (1971). Compiler Construction for Digital Computers (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: John Wiley and Sons.
- Gries, D.; Conway, R. (1973). An Introduction to Programming: a structured approach, Edition 1. Cambridge: Winthrop.
- Owicki, S.; Gries, D. (1976). "Verifying properties of parallel programs: an axiomatic approach". Communications of the ACM. 19 (5): 279–285. S2CID 9099351.
- Owicki, S.; Gries, D. (1976). "An axiomatic proof technique for parallel programs I". S2CID 206773583.
- Gries, D., ed. (1979) Programming Methodology: a Collection of Articles by Members of IFIP WG2.3[7]
- Gries, D. (1981). The Science of Programming. Monographs in Computer Science (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: Springer Verlag. S2CID 37034126.
- Gries, D.; Feijen, W.H.J.; van Gasteren, A.J.M.; Misra, J., eds. (1990). Beauty is our Business. Monographs in Computer Science. New York: Springer Verlag. S2CID 24379938.
- Gries, D.; Schneider, F. B. (1993). A Logical Approach to Discrete Math. Monographs in Computer Science. New York: Springer Verlag. S2CID 206657798.
- Gries, D.; De Roever, W. P., eds. (1998). Programming Concepts and Methods PROCOMET '98. IFIP Advances in Information and Communication Technology. London: Springer. S2CID 30793173.
- Gries, D.; Gries, P. (2004). Multimedia Introduction to Programming Using Java. New York: Springer Verlag. ISBN 0-387-22681-8.
Came with a CD called 'Program Live' with videos.
- Gries, D. (2022). JavaHyperText and Data Structures. Ithaca, New York.
Free online text with over 50 videos.
{{cite book}}
: CS1 maint: location missing publisher (link)
Awards
- Lifetime Achievement Award for Teaching from Cornell Bowers CIS – inaugural recipient[18](2022)
- Tau Beta Pi Professor of the Year[19] (2022)
- Oldest paper in the ACM SIGCSE Technical Symposium Top Ten Papers of All Time[20][21] (2019)
- Amity Booker Prize, with Paul Gries (2016)[22]
- Honorary Doctor of Science, Miami University, Oxford, Ohio (1999)[23]
- Honorary Doctor of Laws, Daniel Webster College, Nashua, New Hampshire (1996)[24]
- "ACM Karl V. Karlstrom Outstanding Educator Award". (1995)
- Weiss Presidential Fellow[25] –among the first ten Fellows (1995)
- Advisor of T.V. Raman, whose Ph.D. thesis[26] won the annual "ACM Doctoral Dissertation Award". (1995)
- IEEE-CS "Taylor L. Booth Education Award". April 3, 2018. (1994)
- Charter Fellow, ACM[27][28] (1994)
- CRA Distinguished Service Award [29] (1991)
- Fellow, AAAS[30] (1990)
- ACM SIGCSE Award for Outstanding Contribution to CS Education (1991)
- AFIPS Education Award (1986)
- Guggenheim Fellowship[31] (1983)
- ACM Programming Systems and Languages Paper Award, with Susan Owicki,[32] for the "Verifying properties of parallel programs: an axiomatic approach" paper (1977)
- Superior Accomplishment Award, U.S. Naval Weapons Lab, Dahlgren, Va. (1961)
References
- ^ "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.
- ISBN 0-471-32776-X.
The first text on compiler writing.
- ^ a b c d e "David Gries' Compiler book Source". Computer History Exhibits. Stanford University. Retrieved October 4, 2022.
- ^ "IFIP Working Group 2.3 on Programming Methodology". Archived from the original on June 30, 2022. Retrieved July 15, 2022.
- ^ S2CID 29484154.
- ^ S2CID 14599744.
- ^ "David Gries papers, #16-13-4524. Division of Rare and Manuscript Collections, Cornell University Library". Retrieved October 12, 2023.
- ^ a b c Grune, Dick (May 20, 2010). "Compiler Construction before 1980". dickgrune.com.
- ^ "ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms" (Press release). Association for Computing Machinery. March 31, 2021.
- ^ "Computer Text Is Updated". The Ithaca Journal. June 30, 1975. p. 6 – via Newspapers.com.
- ^ a b c "Cornell Department of Computer Science -50 Years of Innovation". Cornell Dept of Computer Science. Retrieved September 2, 2022.
- ^ S2CID 40374643.
- .
- ^ S2CID 6134319.
- .
- ^ "Lifetime Achievement Award for Teaching". Cornell Bowers CIS, Cornell. Retrieved July 10, 2022.
- ^ "Tau Beta Pi Professor of the Year". CEAA Alumni Association, College of Engineering, Cornell. Retrieved July 10, 2022.
- ^ "ACM SIGCSE Technical Symposium Top Ten Papers of All Time Award". SIGCSE. Retrieved July 10, 2022.
- .
- ^ "Awards". Cornell Bowers CIS - Computer Science. Retrieved September 8, 2022.
- ^ The Cornell CS Department Timeline[13] announces this doctorate
- ^ The Cornell CS Department Timeline[13] announces this doctorate
- ^ "Weiss Presidential Fellow (for contributions to undergraduate education)". Cornell. Retrieved July 10, 2022.
- ^ "Audio System for Technical Readings" (PDF) (PhD thesis). Retrieved July 9, 2022.
- ^ "ACM Fellows". ACM. 1994. Retrieved July 9, 2022.
- ^ "David Gries: ACM Fellow". ACM. 1994. Retrieved July 9, 2022.
- ^ "Distinguished Service Award". CRA. January 16, 2015. Retrieved July 10, 2022.
- ^ "Historic Fellows, AAAS". AAAS. Retrieved July 10, 2022.
- ^ "David Gries - John Simon Guggenheim Memorial Foundation". 1983. Retrieved July 10, 2022.
- ^ "ACM Programming Systems and Languages Paper Award". ACM. 1977. Retrieved July 7, 2022.