1994 - ACM Fellow Edsger Dijkstra was a principal contributor in the late 1950's to the development of the ALGOL, a high level programming language which has become a model of clarity and mathematical rigor. He is one of the principal exponents of the science and art of programming languages in general, and has greatly contributed to our understanding of their structure, representation, and implementation. His fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the field of programming languages.
1972 - A. M. Turing Award For fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design.
His primary areas of study are Programming language, Jackson structured programming, Critical section, Distributed computing and Theoretical computer science. His Programming language research is multidisciplinary, incorporating perspectives in Guarded Command Language and Computer multitasking. His Guarded Command Language research includes elements of Wide-spectrum language, Hoare logic, Loop invariant, Programming language theory and Refinement.
The various areas that Edsger W. Dijkstra examines in his Jackson structured programming study include External Data Representation, Law, Structured programming, Goto and Considered harmful. His Critical section study integrates concerns from other disciplines, such as Multiprocessing, Mutual exclusion and Data science. The Distributed computing study combines topics in areas such as Parallel computing, Separation of concerns and Termination problem.
Edsger W. Dijkstra mostly deals with Programming language, Calculus, Combinatorics, Discrete mathematics and Algorithm. Programming language is frequently linked to Theoretical computer science in his study. His Calculus research integrates issues from Mathematical proof and Analytic proof.
His Correctness study often links to related topics such as Computer multitasking. His research integrates issues of Structure and Soundness in his study of Computer multitasking. Specifically, his work in Structure is concerned with the study of THE multiprogramming system.
Edsger W. Dijkstra focuses on Programming language, Discrete mathematics, Combinatorics, Data science and THE multiprogramming system. His studies in Programming language integrate themes in fields like Period, Trace and Programming profession. His Greatest common divisor and Fibonacci number study, which is part of a larger body of work in Discrete mathematics, is frequently linked to Primefree sequence and Contraharmonic mean, bridging the gap between disciplines.
His work on Shortest path problem, Prime factor and Prime as part of general Combinatorics research is frequently linked to Lack-of-fit sum of squares and Residual sum of squares, bridging the gap between disciplines. Edsger W. Dijkstra works mostly in the field of Mutual exclusion, limiting it down to topics relating to Futures and promises and, in certain cases, Concurrent computing, as a part of the same area of interest. Edsger W. Dijkstra works mostly in the field of Critical section, limiting it down to topics relating to Layer and, in certain cases, Theoretical computer science.
Edsger W. Dijkstra spends much of his time researching Data science, Critical section, Concurrent computing, Programming language and Mutual exclusion. The concepts of his Critical section study are interwoven with issues in Data structure and Information system. He combines subjects such as Operations research, Control, Programming paradigm and Arithmetic with his study of Concurrent computing.
His Programming language study incorporates themes from Structure and Computer multitasking. His research in Mutual exclusion intersects with topics in Remote procedure call, Concurrent object-oriented programming, Futures and promises, Procedural programming and Software engineering. He studied THE multiprogramming system and Theoretical computer science that intersect with Layer, Indeterminacy, Deterministic automaton and Interface.
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.
A note on two problems in connexion with graphs
E. W. Dijkstra.
Numerische Mathematik (1959)
A Discipline of Programming
Edsger Wybe Dijkstra.
(1976)
Self-stabilizing systems in spite of distributed control
Edsger W. Dijkstra.
Communications of The ACM (1974)
Cooperating sequential processes
Edsger W. Dijkstra.
The origin of concurrent programming (2002)
Guarded commands, nondeterminacy and formal derivation of programs
Edsger W. Dijkstra.
Communications of The ACM (1975)
Self-Stabilization in Spite of Distributed Control
Edsger W. Dijkstra.
In Selected Writings on Computing: A personal Perspective (1982), pp. 41-46, doi:10.1007/978-1-4612-5695-3_7 (1982)
Structured Programming
O. J. Dahl;E. W. Dijkstra;C. A. R. Hoare.
(1972)
Letters to the editor: go to statement considered harmful
Edsger W. Dijkstra.
Communications of The ACM (1968)
The structure of the “THE”-multiprogramming system
Edsger W. Dijkstra.
Communications of The ACM (1968)
Solution of a problem in concurrent programming control
Edsger W. Dijkstra.
Communications of The ACM (1965)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Microsoft (United States)
California Institute of Technology
Georgia Institute of Technology
Microsoft (United States)
The University of Texas at Austin
Georgia Institute of Technology
University of Maryland, College Park
Chinese University of Hong Kong
Cornell University
Technische Universität Braunschweig
Universidade de Vigo
University of Maryland, College Park
University of Lorraine
Institut Gustave Roussy
Gdańsk Medical University
Rockefeller University
Kyoto Prefectural University of Medicine
Brigham and Women's Hospital
University of Arizona
University of North Carolina at Chapel Hill
University of Wisconsin–Madison
University of Queensland