|
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
|
3
|
|
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:Mathematisch_Centrum
gptkb:University_of_Texas_at_Austin
|
|
gptkbp:field
|
gptkb:mathematics
computer science
|
|
gptkbp:fullName
|
gptkb:Edsger_Wybe_Dijkstra
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Edsger Dijkstra
|
|
gptkbp:influenced
|
gptkb:programming_language
concurrent computing
formal methods
software engineering
|
|
gptkbp:knownFor
|
gptkb:Dijkstra's_algorithm
gptkb:Dining_Philosophers_problem
gptkb:EWD_reports
THE multiprogramming system
contributions to structured programming
mutual exclusion problem
predicate transformer semantics
self-stabilization
semaphores
shortest path algorithm
|
|
gptkbp:language
|
Dutch
English
|
|
gptkbp:memberOf
|
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
|
gptkbp:nationality
|
Dutch
|
|
gptkbp:notablePublication
|
gptkb:A_Discipline_of_Programming
gptkb:EWD_reports
gptkb:Go_To_Statement_Considered_Harmful
gptkb:Notes_on_Structured_Programming
|
|
gptkbp:notableStudent
|
gptkb:Lambert_Meertens
gptkb:Leslie_Lamport
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:signature
|
Edsger Dijkstra signature.svg
|
|
gptkbp:spouse
|
gptkb:Ria_Debets
|
|
gptkbp:thesisTitle
|
gptkb:Communication_with_an_Automatic_Computer
|
|
gptkbp:thesisYear
|
1959
|
|
gptkbp:TuringAwardYear
|
fundamental contributions to programming as a high, intellectual challenge
1972
|
|
gptkbp:bfsParent
|
gptkb:Turing_Award
|
|
gptkbp:bfsLayer
|
3
|
