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.
Tony HoareI was eventually persuaded of the need to design programming notations so as to maximize the number of errors which cannot be made, or if made, can be reliably detected at compile time.
Tony HoareThe price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich may find hard to pay.
Tony Hoare