David Gries

Cornell University
United States

G2R World Ranking 4226th

G2R United States Ranking 1976th

H-Index & Metrics

Google H-index 42
Number of Google Citations 14,161
Number of Articles on DBLP 117

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)
Profile was last updated at July 17, 2020, 10:56 am
Guide2Research Ranking is based on Google Scholar H-Index.
Report Missing or Incorrect Information