Uitspraken van Nederlands meest befaamde informaticus.
A programmer has to be able to demonstrate that his program has the required properties. If this comes as an afterthought, it is all but certain that he won't be able to meet this obligation: only if he allows this obligation to influence his design, there is hope he can meet it. Pure a posteriori verification denies you that whole-some influence and is therefore putting the cart before the horse, but that is exactly what happens in the software houses where "programming" and "quality assurance" are done by different groups. [Needless to say, those houses deliver without warranty.]
Edsger W. Dijkstra
It is not the task of the University to offer what society asks for, but to give what society needs.
[The things society asks for are generally understood, and you don't need a University for that; the university has to offer what no one else can provide.]
Edsger W. Dijkstra