David GriesCornell University
H-Index & Metrics
|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)
View other scientists in:
Profile was last updated at August 6, 2019, 3:00 am
Guide2Research Ranking is based on Google Scholar H-Index.