Statements (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
computer scientist
|
| gptkbp:awards |
gptkb:National_Medal_of_Science
Turing Award |
| gptkbp:born |
May 11, 1930
|
| gptkbp:children |
three
|
| gptkbp:contribution |
the development of the concept of software quality assurance
the development of the concept of software development methodologies the development of the concept of structured programming the development of the concept of artificial intelligence the development of the concept of concurrent programming the development of the concept of computer architecture the development of the concept of formal verification the development of the concept of programming paradigms the development of the concept of distributed systems the development of the concept of concurrent programming models the development of the concept of software project management the development of the concept of computer networks the development of the concept of program correctness the development of ALGOL programming language the development of the concept of algorithms the development of the concept of data structures the development of the concept of machine learning the development of the concept of software metrics the development of the concept of software testing the development of the concept of imperative programming the development of the concept of software reliability the development of the concept of logic programming the development of the concept of functional programming the development of the concept of computational complexity the development of the concept of programming languages the development of the concept of programming tools the development of the concept of software documentation the development of the concept of object-oriented programming the development of the concept of software engineering principles the development of the concept of declarative programming the development of the concept of software lifecycle. the development of the concept of operating systems the development of the concept of software maintenance practices the development of the concept of software maintenance |
| gptkbp:died |
August 6, 2002
|
| gptkbp:education |
gptkb:University_of_Amsterdam
|
| gptkbp:employs |
gptkb:University_of_Texas_at_Austin
gptkb:Eindhoven_University_of_Technology |
| gptkbp:field |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Edsger W. Dijkstra
|
| gptkbp:influenced |
algorithm design
computer programming software engineering |
| gptkbp:influencedBy |
gptkb:John_von_Neumann
gptkb:Alan_Turing Kurt Gödel |
| gptkbp:knownFor |
gptkb:Dijkstra's_algorithm
structured programming the concept of a semaphore |
| gptkbp:nationality |
Dutch
|
| gptkbp:notableAlumni |
the_Dijkstra's_algorithm_for_deadlock_detection
the_Dijkstra's_algorithm_for_resource_allocation the_Dijkstra's_shortest_path_algorithm |
| gptkbp:residence |
gptkb:Amsterdam
gptkb:Austin,_Texas |
| gptkbp:spouse |
gptkb:Frances_E._Dijkstra
|