Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software …