Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
computer scientist
|
| gptkbp:almaMater |
gptkb:University_of_Amsterdam
|
| gptkbp:awards |
Turing Award
|
| gptkbp:born |
May 11, 1930
|
| gptkbp:contribution |
formal verification
theoretical computer science concurrent programming structured programming program verification software engineering |
| gptkbp:died |
August 6, 2012
|
| gptkbp:field |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Frits Dijkstra
|
| gptkbp:influenced |
artificial intelligence
cryptography big data cloud computing computer graphics database systems machine learning programming languages algorithm design algorithms computer science education data structures human-computer interaction information theory network protocols operating systems software architecture web development data science distributed systems algorithmic efficiency computational complexity compiler design software reliability software testing programming paradigms software development methodologies software project management theoretical foundations of computer science research in computer science computer programming education software architecture patterns debugging techniques programming language design operating system design computer science theory computer systems design |
| gptkbp:knownFor |
gptkb:Dijkstra's_algorithm
shortest path algorithm |
| gptkbp:nationality |
Dutch
|
| gptkbp:publishedBy |
The Humble Programmer
A Case Against the Goto Statement Notes on Structured Programming On_the_Cruelty_of_Really_Teaching_Computing_Science |
| gptkbp:worksAt |
gptkb:University_of_Amsterdam
gptkb:Eindhoven_University_of_Technology CWI |