Skip to main content
50 years ago
40 years ago
30 years ago
Dijkstra's Rallying Cry for Generalization
Request new password
Enter your Dijkstra's Rallying Cry for Generalization username.
Enter the password that accompanies your username.
Getting Software Right
Michael A. Jackson
Dijkstra's chair (Courtesy of W.H.J. Feijen)
Picture of EWD (Courtesy of Michiel Wijers)
Why Did Computer Science Make a Hero out of Turing?
Knuth and P = NP
A Turing Tale
Towards The Origins of Computational Complexity
Machine Oriented Higher Level Languages
Prime Numbers and Turing
Difficulties of Writing About Turing's Legacy
Turing — the Father of Computer Science
2 of 9
Dijkstra and 100% correctness (1993)
corner cases remain problematic, also with deep learning
what do you think I'm going to say? :-)
Boyer & Moore
Fetzer and finiteness
flying drones in a workshop
Hacking into a Tesla
1 of 8
Algorithmic Barriers Falling: P=NP?
The Dawn of Software Engineering
The Essential Knuth