Properties (36)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
computer scientist
|
| gptkbp:associatedWith |
gptkb:CWI_Amsterdam
gptkb:University_of_Texas_at_Austin gptkb:Eindhoven_University_of_Technology |
| gptkbp:awards |
gptkb:National_Medal_of_Science
Turing Award |
| gptkbp:born |
May 11, 1930
|
| gptkbp:contribution |
formal verification
theoretical computer science programming languages distributed computing operating systems graph theory software development methodologies |
| gptkbp:died |
August 6, 2002
|
| gptkbp:education |
gptkb:University_of_Amsterdam
|
| gptkbp:famousQuote |
'Simplicity is a prerequisite for reliability.'
'If debugging is the process of removing software bugs, then programming must be the process of putting them in.' 'The question of whether machines can think is about as relevant as the question of whether submarines can swim.' 'A programming language is low level when its programs require attention from the programmer to ensure correct behavior.' 'It is not the strongest of the species that survive, nor the most intelligent, but the one most responsive to change.' |
| gptkbp:field |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Edsger Dijkstra
|
| gptkbp:influenced |
algorithm design
computer programming software engineering |
| gptkbp:influencedBy |
gptkb:John_von_Neumann
gptkb:Alan_Turing |
| gptkbp:knownFor |
gptkb:Dijkstra's_algorithm
structured programming the concept of a semaphore |
| gptkbp:nationality |
Dutch
|
| gptkbp:notableAlumni |
shortest path algorithm
the_Dijkstra's_algorithm the_Dijkstra's_guard_condition |
| gptkbp:occupation |
professor
|