Statements (47)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:physicist
|
| gptkbp:alma_mater |
gptkb:University_of_Amsterdam
|
| gptkbp:awards |
gptkb:Turing_Award
|
| gptkbp:born |
May 27, 1930
|
| gptkbp:contribution |
Formal verification
Concurrency Structured programming |
| gptkbp:died |
August 6, 2012
|
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bert G. Dijkstra
|
| gptkbp:influenced |
gptkb:Quantum_computing
gptkb:microprocessor gptkb:Artificial_Intelligence gptkb:Company gptkb:Cloud_Computing_Service Big data Machine learning Mathematical logic Computer Programming Computer networks Distributed systems Graph theory Human-computer interaction Information theory Compiler design Data structures Numerical analysis Operating systems Database systems Programming paradigms Software testing Software development methodologies |
| gptkbp:influenced_by |
gptkb:Edsger_W._Dijkstra
|
| gptkbp:is_organized_by |
gptkb:CWI_Amsterdam
gptkb:University_of_Texas_at_Austin |
| gptkbp:known_for |
Dijkstra's algorithm
|
| gptkbp:nationality |
gptkb:Dutch
|
| gptkbp:notable_work |
gptkb:Author
A Discipline of Programming On the Cruelty of Really Teaching Computing Science The Structure of the ' THE' Multiprogramming System |
| gptkbp:occupation |
gptkb:University
|
| gptkbp:research_interest |
gptkb:Algorithms
Programming languages Software engineering |
| gptkbp:bfsParent |
gptkb:The_Fourth_Man
|
| gptkbp:bfsLayer |
5
|