This Q&A is part of a weekly series of posts highlighting common questions encountered by technophiles and answered by users at Stack Exchange, a free, community-powered network of 100+ Q&A sites.

Had they included just one of Tony Hoare’s achievements, many scientific careers would be considered prestigious enough. His had a long list, unfortunately closed by his passing away at the age of 92 ...