gptkbp:instanceOf
|
gptkb:person
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:Computer_Pioneer_Award
gptkb:Harry_H._Goode_Memorial_Award
gptkb:IEEE_Computer_Society_Hall_of_Fame
Turing Award
|
gptkbp:birthDate
|
1930-05-11
|
gptkbp:birthPlace
|
gptkb:Rotterdam,_Netherlands
|
gptkbp:children
|
2
|
gptkbp:deathDate
|
2002-08-06
|
gptkbp:deathPlace
|
gptkb:Nuenen,_Netherlands
|
gptkbp:doctoralAdvisor
|
gptkb:Adriaan_van_Wijngaarden
|
gptkbp:education
|
gptkb:Leiden_University
|
gptkbp:employer
|
gptkb:Eindhoven_University_of_Technology
gptkb:University_of_Texas_at_Austin
gptkb:Burroughs_Corporation
|
gptkbp:fieldOfWork
|
gptkb:mathematics
gptkb:programming_language
computer science
distributed computing
formal methods
operating systems
algorithm design
|
https://www.w3.org/2000/01/rdf-schema#label
|
Edsger W. Dijkstra
|
gptkbp:influenced
|
computer science
software engineering
programming methodology
|
gptkbp:knownFor
|
gptkb:Dijkstra's_algorithm
gptkb:Dining_Philosophers_problem
gptkb:Dijkstra–Scholten_algorithm
THE multiprogramming system
predicate transformer semantics
self-stabilization
semaphores
shortest path algorithm
structured programming
mutual exclusion
|
gptkbp:memberOf
|
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
gptkbp:nationality
|
Dutch
|
gptkbp:notableStudent
|
gptkb:Lambert_Meertens
gptkb:Leslie_Lamport
gptkb:Carel_S._Scholten
gptkb:Martin_Rem
|
gptkbp:notableWork
|
gptkb:A_Discipline_of_Programming
gptkb:Go_To_Statement_Considered_Harmful
gptkb:Notes_on_Structured_Programming
EWD manuscripts
|
gptkbp:occupation
|
gptkb:computer_scientist
|
gptkbp:signature
|
Edsger_Wybe_Dijkstra_signature.svg
|
gptkbp:spouse
|
gptkb:Ria_Debets
|
gptkbp:bfsParent
|
gptkb:A_Discipline_of_Programming
gptkb:Dijkstra's_algorithm
gptkb:Dining_Philosophers_problem
gptkb:EWD_reports
gptkb:Go_To_Statement_Considered_Harmful
gptkb:Niklaus_Wirth
gptkb:Notes_on_Structured_Programming
gptkb:Sir_Tony_Hoare
|
gptkbp:bfsLayer
|
5
|