Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
computer scientist
|
| gptkbp:almaMater |
gptkb:University_of_Amsterdam
|
| gptkbp:awards |
gptkb:National_Medal_of_Science
Turing Award |
| gptkbp:born |
May 11, 1930
|
| gptkbp:contribution |
the development of programming languages
the advocacy for software reliability the promotion of programming as a discipline the introduction of the concept of 'guarded commands' |
| gptkbp:died |
August 6, 2002
|
| gptkbp:employees |
gptkb:University_of_Texas_at_Austin
gptkb:Eindhoven_University_of_Technology |
| gptkbp:field |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Edgar Dijkstra
|
| gptkbp:influenced |
algorithm design
computer programming software engineering |
| gptkbp:inventor |
gptkb:Dijkstra's_semaphore
Dijkstra's_algorithm_for_shortest_paths |
| gptkbp:knownFor |
gptkb:Dijkstra's_algorithm
structured programming |
| gptkbp:nationality |
Dutch
|
| gptkbp:notableAlumni |
the concept of structured programming
the importance of formal proofs the shortest path problem |