Misplaced Pages

Revision as of 19:53, 9 September 2022

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)

{{Infobox scientist | name = David Gries | native_name = | native_name_lang = | image = | image_size = | image_upright = | alt = | caption = | birth_name = | birth_date = (1939-04-26) April 26, 1939 (age 85) | birth_place = Flushing, Queens, New York, United States | death_cause = | home_town = | pronounce = | citizenship = United States | fields = Computer science education | workplaces = U.S. Naval Weapons Lab
Stanford University
University of Georgia
Cornell University | patrons = | education = B.S.; Queens College (1960)
M.S.; University of Illinois at Urbana-Champaign (1963)
Dr. rer. nat.; Technical University of Munich (1966) | alma_mater = B.S.; Queens College (1960)
M.S.; Illinois (1963)
Dr. rer. nat.; TH München (1966) | thesis_title = | thesis_url = | thesis_year = | doctoral_advisors = Friedrich L. Bauer
Josef Stoer | academic_advisors = Friedrich L. Bauer
Josef Stoer | doctoral_students = Susan Graham (1971)
Susan Owicki (1975)
Jennifer Widom (1989)
T. V. Raman (1994) | known_for = First text on Compiler construction (1971)
Interference freedom
Contributions to programming methodology, algorithms, CS education | influences = | influenced = | awards = AFIPS Education (1986)
SIGCSE Outstanding Contribution to CS Education (1991)
IEEE Taylor Booth Education (1994),
ACM Karlstrom Outstanding Educator (1995)Cite error: A <ref> tag is missing the closing </ref> (see the help page). 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, Russian, and Japanese). 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

• Gries is the only recipient of four major educator awards in computer science:
  • AFIPS Education Award (1986)
  • ACM SIGCSE Award for Outstanding Contribution to CS Education (1991)
  • IEEE-CS "Taylor L. Booth Education Award". (1994)
  • "ACM Karl V. Karlstrom Outstanding Educator Award". (1995)

• He holds two honorary doctorates:
  • Honorary Doctor of Laws, Daniel Webster College, Nashua, New Hampshire (1996)
  • Honorary Doctor of Science, Miami University, Oxford, Ohio (1999)

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

• Guggenheim Fellowship (1983)

• CRA Distinguished Service Award (1991)

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

• Amity Booker Prize, with Paul Gries (2016)

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

• Charter Fellow, ACM (1994)

• Fellow, AAAS (1990)

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

• Cornell University awards
  • Computer Science Department Faculty of the Year (ACSU) (2017, 1999, 1996)
  • Clarke Award for Excellence in Undergraduate Teaching, College of Arts & Sciences, Cornell (1987)
  • Class of 2019 Award, “In recognition of extraordinary achievement and service ..." (2019)
  • Weiss Presidential Fellow –among the first ten Fellows (1995)
  • Tau Beta Pi Professor of the Year (2022)
  • Cornell Bowers CIS Lifetime Achievement Award for Teaching (2022)

References

1. "David Gries". mathgenealogy.org. Mathematics Genealogy Project. Retrieved August 7, 2022.
2. 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.
3. "IBM Punch cards on which the book was written are in the Stanford Museum". Retrieved 11 July 2022.
4. "Taylor L. Booth Education Award". IEEE-CS. Retrieved July 9, 2022.
5. "IBM Punch cards on which the book was written are in the Stanford Museum". Retrieved 11 July 2022.
6. Cite error: The named reference WG23Book was invoked but never defined (see the help page).
7. ^ Owicki, Susan; Gries, David (1976). "Verifying properties of parallel programs: an axiomatic approach". CACM. 19 (5): 279–285. doi:10.1145/360051.360224.
8. Owicki, Susan; Gries, David (25 June 1976). "An axiomatic proof technique for parallel programs I". Acta Informatica. 6 (4). Berlin: Springer (Germany): 319–340. doi:10.1007/BF00268134.
9. "ACM Programming Systems and Languages Paper Award". ACM. 1977. Retrieved 2022-07-07.
10. "David Gries - John Simon Guggenheim Memorial Foundation". 1983. Retrieved 2022-07-10.
11. "Distinguished Service Award". CRA. Retrieved July 10, 2022.
12. "Audio System for Technical Readings" (PDF) (PhD thesis). Retrieved 2022-07-09.
13. "ACM SIGCSE Technical Symposium Top Ten Papers of All Time Award". SIGCSE. Retrieved July 10, 2022.
14. 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.
15. "ACM Fellows". ACM. 1994. Retrieved 2022-07-09.
16. "David Gries: ACM Fellow". ACM. 1994. Retrieved 2022-07-09.
17. "Historic Fellows, AAAS". AAAS. Retrieved 2022-07-10.
18. "Weiss Presidential Fellow (for contributions to undergraduate education)". Cornell. Retrieved 2022-07-10.
19. "Tau Beta Pi Professor of the Year". CEAA Alumni Association, College of Engineering, Cornell. Retrieved 2022-07-10.
20. "Lifetime Achievement Award for Teaching". Cornell Bowers CIS, Cornell. Retrieved 2022-07-10.

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