Had they included just one of Tony Hoare’s achievements, many scientific careers would be considered prestigious enough. His ...