David Gries

Cornell University
United States

H-Index & Metrics

Google H-index 45
Number of Google Citations 20,220
Guide2Research World Ranking 1912th
Guide2Research National Ranking (United States) 975th

Awards & Achievements

  • 1995 - ACM Karl V. Karlstrom Outstanding Educator Award In recognition of his leadership in the training of several generations of computer science students. His visionary emphasis on critical thinking and mathematical precision in Computer Science has dramatically changed the face of computer science education. This viewpoint is exemplified by his widely used textbooks on compilers, on the science of programming, and on mathematical foundations for computer science; by his role in curriculum development; and by his training of graduate students who have seeded his view as successful educators at other universities.
  • 1994 - ACM Fellow For co-authoring of 'An Axiomatic Proof Technique for Parallel Programs I', the best paper in the area of Programming Systems and Languages.
  • 1977 - ACM Programming Systems and Languages Paper Award Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, May 1976 (with Susan Owicki)

External Links

View other scientists in:

Profile was last updated at August 6, 2019, 3:00 am
Guide2Research Ranking is based on Google Scholar H-Index.