2026 David Gries: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	42	8150	7921	3491	3361	230	16329

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

8150

7921

3491

3361

230

16329

Research.com Recognitions

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.
1990 - Fellow of the American Association for the Advancement of Science (AAAS)
1983 - Fellow of John Simon Guggenheim Memorial Foundation

Overview

David Gries is affiliated with Cornell University in the United States and contributes to the field of Computer Science. Their research interests include areas within Artificial Intelligence and Computer Networks and Communications.

The main topics of their work focus on:

Logic, programming, and type systems
Distributed systems and fault tolerance
Logic, Reasoning, and Knowledge

Gries' academic output includes publications in Computer Science, with subfields emphasizing Artificial Intelligence and Computer Networks and Communications.

Awards received by David Gries include:

ACM Karl V. Karlstrom Outstanding Educator Award (1995) for leadership in training multiple generations of computer science students and contributions through textbooks and curriculum development.
ACM Fellow (1994) for co-authoring the paper "An Axiomatic Proof Technique for Parallel Programs I," recognized as the best paper in Programming Systems and Languages.
Fellow of the American Association for the Advancement of Science (AAAS) (1990).
Fellow of John Simon Guggenheim Memorial Foundation (1983).

Best Publications

The science of programming

David Gries

2647
Citations
First-Order Logic and Automated Theorem Proving

Melvin Fitting;David Gries

1951
Citations
An axiomatic proof technique for parallel programs I

Susan Owicki;David Gries

1613
Citations
Computing As a Discipline

P.J. Denning;D.E. Comer;D. Gries;M.C. Mulder

1032
Citations
Compiler construction for digital computers

David Gries

831
Citations
Verifying properties of parallel programs: an axiomatic approach

Susan Owicki;David Gries

770
Citations
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

G. Goos;J. Hartmanis;D. Barstow;W. Brauer

750
Citations
A Logical Approach to Discrete Math

David Gries;Fred B. Schneider

656
Citations
Computing as a discipline

D. E. Comer;David Gries;Michael C. Mulder;Allen Tucker

647
Citations
Finding Repeated Elements

Jayadev Misra;David Gries

631
Citations
Software Reliability Methods

Doron A. Peled;David Gries;Fred B. Schneider

437
Citations
Active Rules in Database Systems

Norman W. Paton;F. Schneider;D. Gries

406
Citations
A proof technique for communicating sequential processes

Gary Marc Levin;David Gries

242
Citations
A constructive proof of Vizing's Theorem

J. Misra;David Gries

228
Citations
Translator writing systems

Jerome Feldman;David Gries

208
Citations
An Invitation to Formal Methods

J.P. Bowen;R.W. Butler;D.L. Dill;R.L. Glass

193
Citations
An exercise in proving parallel programs correct

David Gries

154
Citations
Describing an algorithm by Hopcroft

David Gries

133
Citations
A model and temporal proof system for networks of processes

Van Nguyen;Alan Demers;David Gries;Susan Owicki

122
Citations
Fault-tolerant broadcasts

Fred B. Schneider;David Gries;Richard D. Schlichting

118
Citations
A Theory of Graphs

David Gries;Fred B. Schneider

0
Citations
A Theory of Sets

David Gries;Fred B. Schneider

0
Citations

Frequent Co-Authors

Fred B. Schneider Cornell University

Niklaus Wirth ETH Zurich

Juris Hartmanis Cornell University

Jayadev Misra The University of Texas at Austin

Peter J. Denning Naval Postgraduate School

Jennifer Widom Stanford University

Narain H. Gehani New Jersey Institute of Technology

Jan F. Prins University of North Carolina at Chapel Hill

Paul R. Young University of Queensland

Alan Demers Cornell University

External Links

Wikipedia of David Gries Personal website of David Gries Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens up a wide range of opportunities. Students interested in tech careers often research the best college degrees for the future to maximize their return on investment. Computer Science consistently ranks among the most promising options due to high demand in various industries.

For those seeking to enhance their qualifications online, there are several flexible options worth considering. Some professionals may opt for easy masters degrees online to swiftly climb the career ladder or diversify their expertise without years of study.

Cost is another important factor. Many learners want to minimize expenses by choosing the cheapest phd programs online, making advanced education more accessible and budget-friendly.

For those focusing on leadership and education, pursuing the cheapest online doctorate in educational leadership is an efficient way to move into high-level academic or administrative roles.