David GriesCornell University
G2R World Ranking 4323rd
G2R United States Ranking 2000th
H-Index & Metrics
|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)