Programmers are always surrounded by complexity; we cannot avoid it.... If our basic tool, the language in which we design and code our programs, is also complicated, the language itself becomes part of the problem rather than part of its solution.

The job of formal methods is to elucidate the assumptions upon which formal correctness depends.

Programmers are always surrounded by complexity; we cannot avoid it.... If our basic tool, the language in which we design and code our programs, is also complicated, the language itself becomes part of the problem rather than part of its solution.

Here is a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly all its successors.

Premature optimization is the root of all evil in programming.

The unavoidable price of reliability is simplicity.

An ultimate joint challenge for the biological and the computational sciences is the understanding of the mechanisms of the human brain, and its relationship with the human mind.