Sir Tony Hoare obituary (opens in new tab)

Pioneering computer scientist who devised the Quicksort algorithm, ways of verifying programs and guards against hackers Tony Hoare, who has died aged 92, did much to transform computer program development from an arcane craft to an engineering profession. He made fundamental contributions to program verification, algorithm design, language semantics and concurrency theory. Initially expressed as theories, many of his ideas eventually became embedded in sophisticated tools that support large-...