What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Operating system
His primary scientific interests are in Programming language, Discrete mathematics, Compiler, Deadlock and Correctness.
Many of his studies on Programming language involve topics that are commonly interrelated, such as Theoretical computer science.
His study in the field of Computational logic is also linked to topics like Vertex, Vizing's theorem and Multiple edges.
His research investigates the connection with Computational logic and areas like Calculus which intersect with concerns in Automated theorem proving.
His Compiler study integrates concerns from other disciplines, such as Pascal, Font and Programmer.
He has included themes like Theory of computation and Extension in his Deadlock study.
His most cited work include:
- The science of programming (1212 citations)
- An axiomatic proof technique for parallel programs I (908 citations)
- First-Order Logic and Automated Theorem Proving (853 citations)
What are the main themes of his work throughout his whole career to date?
Programming language, Algorithm, Theoretical computer science, Software engineering and Discrete mathematics are his primary areas of study.
His Programming language study deals with Notation intersecting with Mathematical proof.
His work carried out in the field of Algorithm brings together such families of science as Simple and Calculus.
His work on Theoretical computer science is being expanded to include thematically relevant topics such as Assignment.
In most of his Discrete mathematics studies, his work intersects topics such as Combinatorics.
His Procedural programming research includes themes of Symbolic programming and Programming domain.
He most often published in these fields:
- Programming language (26.87%)
- Algorithm (11.89%)
- Theoretical computer science (11.01%)
What were the highlights of his more recent work (between 1993-2015)?
- Programming language (26.87%)
- Multimedia (4.85%)
- Software engineering (9.69%)
In recent papers he was focusing on the following fields of study:
David Gries mainly investigates Programming language, Multimedia, Software engineering, Conversation and Algorithm.
His Programming language study frequently involves adjacent topics like Theoretical computer science.
The concepts of his Multimedia study are interwoven with issues in Technical documentation and Disk formatting.
His biological study spans a wide range of topics, including Virtual learning environment, Scalability, Correctness and Grading.
His Conversation research is multidisciplinary, relying on both Speech recognition and Performance art.
His Algorithm research is multidisciplinary, incorporating elements of First-order logic, Higher-order logic, Computational logic, Philosophy of logic and Calculus.
Between 1993 and 2015, his most popular works were:
- First-Order Logic and Automated Theorem Proving (853 citations)
- Software reliability methods (227 citations)
- An Invitation to Formal Methods (122 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Operating system
His primary areas of study are Programming language, Software engineering, Calculus, Dynamic logic and Java.
His study in Recursion, Functional reactive programming, Declarative programming, Programming paradigm and Programming domain are all subfields of Programming language.
His Software engineering study incorporates themes from Scalability, Computer science curriculum, Correctness, Software development process and Educational program.
His study in Calculus is interdisciplinary in nature, drawing from both Zeroth-order logic, Autoepistemic logic, Discrete mathematics and Computational logic.
His study on First-order logic is often connected to Equational logic as part of broader study in Discrete mathematics.
David Gries interconnects Philosophy of logic, Second-order logic, Mathematical logic, Gödel's completeness theorem and Horn clause in the investigation of issues within Computational logic.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
