Edsger W. Dijkstra

https://www.cs.utexas.edu/users/EWD/welcome.html

X ∧ Y ≡ X ≡ Y ≡ X ∨ Y

https://en.wikipedia.org/wiki/Edsger_W._Dijkstra

If you have audio or video of Dijkstra that is not already on this channel, please email it to edsger.x.dijkstra@gmail.

Edsger Wybe Dijkstra was one of the most prolific computing scientists of all time. He invented a method of programming which enables the programmer to produce programs which are totally free of bugs. Despite Dijkstra's tremendous achievements, his method was never widely adopted, nor taught by any university. The goal is to keep Dijkstra's method alive, by facilitating access to his teachings.