Edsger Dijkstra

URI: https://gptkb.org/entity/Edsger_Dijkstra

GPTKB entity

AI-created image

Statements (53)

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	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