The job of formal methods is to elucidate the assumptions upon which formal correctness depends. — Tony Hoare Copy Share Image
It is easy to predict that some of the discoveries of research directed towards Grand Challenges - but only the most unexpected… — Tony Hoare Copy Share Image
Programmers are always surrounded by complexity; we cannot avoid it.... If our basic tool, the language in which we design and code our programs,… — Tony Hoare Copy Share Image
The job of formal methods is to elucidate the assumptions upon which formal correctness depends. — Tony Hoare Copy Share Image
A single human brain has about a hundred million nerve cells... and a computer program that throws light on the mind/brain problem will have… — Tony Hoare Copy Share Image
I don't know what the language of the year 2000 will look like, but I know it will be called Fortran. — Tony Hoare Copy Share Image
You cannot teach beginners top-down programming, because they don't know which end is up. — Tony Hoare Copy Share Image
An ultimate joint challenge for the biological and the computational sciences is the understanding of the mechanisms of the human brain, and its relationship… — Tony Hoare Copy Share Image
What is the central core of the subject [computer science]? What is it that distinguishes it from the separate subjects with which it is… — Tony Hoare Copy Share Image
The real value of tests is not that they detect bugs in the code but that they detect inadequacies in the methods, concentration, and… — Tony Hoare Copy Share Image
Here is a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly… — Tony Hoare Copy Share Image
I call it my billion-dollar mistake. It was the invention of the null reference in 1965. — Tony Hoare Copy Share Image
![“What is the central core of the subject [computer science]?…” quote by Tony Hoare](https://sms4smile.com/quotes/img-quotes/18f/tony-hoare-25834_accurate_what-is-the-central-core-of-the-subject_1203244.jpg)
