Edsger W. Dijkstra

GPTKB entity

Statements (59)
Predicate Object
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