Misplaced Pages

This is an old revision of this page, as edited by Zyxw (talk | contribs) at 08:54, 9 October 2022 (date formats per MOS:DATE TIES). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Misplaced Pages's content policies, particularly neutral point of view. Please discuss further on the talk page. (August 2022) (Learn how and when to remove this message)

David Gries
David Gries in 2022
Born	(1939-04-26) April 26, 1939 (age 85) Flushing, Queens, New York, United States
Citizenship	United States
Education	B.S.; Queens College (1960) M.S.; University of Illinois at Urbana-Champaign (1963) Dr. rer. nat.; Technical University of Munich (1966)
Known for	First text on Compiler construction (1971) 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) ACM Karl V. Karlstrom Outstanding Educator Award (1995)
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)
Website	www.cs.cornell.edu/gries

David Gries (born April 26, 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States 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 in 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 professor teaching Stream in the Department of Computer Science at the University of Toronto.

Life

Gries earned a Bachelor of Science (B.S.) from Queens College in 1960. He spent the next two years working as a programmer-mathematician for the U.S. Naval Weapons Laboratory, where he met his wife, Elaine.

He earned a Master of Science (M.S.) in mathematics from the University of Illinois at Urbana-Champaign in 1963. While at Illinois, Gries worked with Manfred Paul and Ruediger Wiehle to write a full compiler for the language ALGOL 60 for the IBM 7090 mainframe computer. He earned his Dr. rer. nat. in 1966 from the TH München, studying under Friedrich L. Bauer and Josef Stoer.

Gries is member emeritus of "IFIP Working Group 2.3 on Programming Methodology"., 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, 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. He 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. As of 2021, he lives in Ithaca, New York.

Selected works

• Gries, D. (1971). Compiler Construction for Digital Computers (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: John Wiley and Sons. ISBN 0-471-32776-X. The first text on compiler writing.

• Gries, D.; Conway, R. (1973). An Introduction to Programming: a structured approach, Edition 1. Cambridge: Winthrop.

• Gries, D., ed. (1979) Programming Methodology: a Collection of Articles by Members of IFIP WG2.3

• Gries, D. (1981). The Science of Programming. Monographs in Computer Science (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: Springer Verlag.

• 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.

• Gries, D.; Schneider, F. B. (1993). A Logical Approach to Discrete Math. Monographs in Computer Science. New York: Springer Verlag.

• Gries, D.; De Roever, W. P., eds. (1998). Programming Concepts and Methods, PROCOMET '98. IFIP Advances in Information and Communication Technology. London: Springer.

• Gries, D.; Gries, P. (2004). Multimedia Introduction to Programming Using Java. New York: Springer Verlag. 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)

• Gries, D.; Owicki, S. (1976) "Verifying properties of parallel programs: an axiomatic approach"

• Gries, D.; Owicki, S. (1976) "An axiomatic proof technique for parallel programs I"

Awards

• Cornell Bowers CIS Lifetime Achievement Award for Teaching (2022)

• Tau Beta Pi Professor of the Year (2022)

• Oldest paper in the ACM SIGCSE Technical Symposium Top Ten Papers of All Time (2019)

• Amity Booker Prize, with Paul Gries (2016)

• Honorary Doctor of Science, Miami University, Oxford, Ohio (1999)

• Honorary Doctor of Laws, Daniel Webster College, Nashua, New Hampshire (1996)

• "ACM Karl V. Karlstrom Outstanding Educator Award". (1995)

• Weiss Presidential Fellow –among the first ten Fellows (1995)

• Advisor of T.V. Raman, whose Ph.D. thesis won the annual "ACM Doctoral Dissertation Award". (1995)

• IEEE-CS "Taylor L. Booth Education Award". (1994)

• Charter Fellow, ACM (1994)

• CRA Distinguished Service Award (1991)

• Fellow, AAAS (1990)

• ACM SIGCSE Award for Outstanding Contribution to CS Education (1991)

• AFIPS Education Award (1986)

• Guggenheim Fellowship (1983)

• ACM Programming Systems and Languages Paper Award, with Susan Owicki, for the paper (1977)

• Superior Accomplishment Award, U.S. Naval Weapons Lab, Dahlgren, Va. (1961)

References

1. "Taylor L. Booth Education Award". IEEE-CS. 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. "IBM Punch cards on which the book was written are in the Stanford Museum". Retrieved July 11, 2022.
6. ^ Gries, D., ed. (1979). Programming Methodology: a Collection of Articles by Members of IFIP WG2.3. Monographs in Computer Science. New York: Springer Verlag.
7. "IBM Punch cards on which the book was written are in the Stanford Museum". Retrieved July 11, 2022.
8. ^ Owicki, Susan; Gries, David (1976). "Verifying properties of parallel programs: an axiomatic approach". CACM. 19 (5): 279–285. doi:10.1145/360051.360224.
9. Owicki, Susan; Gries, David (June 25, 1976). "An axiomatic proof technique for parallel programs I". Acta Informatica. 6 (4). Berlin: Springer (Germany): 319–340. doi:10.1007/BF00268134.
10. "Lifetime Achievement Award for Teaching". Cornell Bowers CIS, Cornell. Retrieved July 10, 2022.
11. "Tau Beta Pi Professor of the Year". CEAA Alumni Association, College of Engineering, Cornell. Retrieved July 10, 2022.
12. "ACM SIGCSE Technical Symposium Top Ten Papers of All Time Award". SIGCSE. Retrieved July 10, 2022.
13. Gries, David (February 1974). "What should we teach in an introductory programming course?". ACM SIGCSE Bulletin. 6 (1): 81–89. doi:10.1145/953057.810447.
14. "Awards". Cornell Bowers CIS - Computer Science. Retrieved September 8, 2022.
15. ^ "Cornell Department of Computer Science -50 Years of Innovation". Cornell Dept of Computer Science. Retrieved September 2, 2022.
16. The Cornell CS Department Timeline announces this doctorate
17. The Cornell CS Department Timeline announces this doctorate
18. "Weiss Presidential Fellow (for contributions to undergraduate education)". Cornell. Retrieved July 10, 2022.
19. "Audio System for Technical Readings" (PDF) (PhD thesis). Retrieved July 9, 2022.
20. "ACM Fellows". ACM. 1994. Retrieved July 9, 2022.
21. "David Gries: ACM Fellow". ACM. 1994. Retrieved July 9, 2022.
22. "Distinguished Service Award". CRA. Retrieved July 10, 2022.
23. "Historic Fellows, AAAS". AAAS. Retrieved July 10, 2022.
24. "David Gries - John Simon Guggenheim Memorial Foundation". 1983. Retrieved July 10, 2022.
25. "ACM Programming Systems and Languages Paper Award". ACM. 1977. Retrieved July 7, 2022.

External links

• Official website
• Cornell University Science News: Computer association names Cornell's Gries an outstanding educator
• David Gries at the Mathematics Genealogy Project
• Books by David Gries (listed on Amazon)

• 1939 births
• Living people
• Programming language researchers
• American computer scientists
• Technical University of Munich alumni
• Cornell University faculty
• University of Georgia faculty
• Fellows of the Association for Computing Machinery
• Computer science educators
• Formal methods people
• American textbook writers
• American male non-fiction writers
• Computer science writers
• 20th-century American mathematicians
• 21st-century American mathematicians