Tony Hoare, the computer scientist known for quicksort, Hoare logic and work on ALGOL, died on 5 March at the age of 92, according to a remembrance published by the Computational Complexity blog. Hoare was a Turing Award winner and a former Oxford professor whose work influenced both programming-language research and the everyday practice of writing software.
The remembrance, written from personal encounters with Hoare, emphasizes that his career extended well beyond the sorting algorithm through which many mathematics and computer-science students first encounter his name. It identifies quicksort, ALGOL and Hoare logic among his prominent contributions, while focusing on the character and experiences behind those achievements.
Hoare studied Classics and Philosophy before receiving intensive Russian-language training through the Joint Services School for Linguists. He later worked demonstrating an early computer internationally, including in the Soviet Union. As recounted in the remembrance, those demonstrations demanded detailed knowledge of the machines and involved him in their software development at a time when the boundaries between presenting, programming and maintaining a computer were less sharply defined.
One recurring story concerned the origin of quicksort at Elliott Brothers. Hoare told the author that a manager wagered sixpence that he could not devise a faster sorting method than an algorithm he had already implemented. Hoare’s alternative proved faster, and he confirmed that the small wager was paid. The account also notes that he first completed the slower method he had been asked to implement, a detail the writer regarded as characteristic of his professionalism and modesty.
The remembrance portrays Hoare as mentally sharp, patient and humorous during meetings in Cambridge in his later years. He discussed the rapid growth in program scale and how that growth changed the methods needed to reason about software. He also spoke about films, including occasional afternoon cinema visits while working at Microsoft in Cambridge.
Hoare was cautious about a quotation commonly attributed to him contrasting Hollywood’s instant depiction of genius with years of struggle on a single problem. He agreed with the underlying observation but could not identify when he had said it, and accepted that versions circulating online might be inaccurate. That exchange reflected both his interest in careful reasoning and his reluctance to claim words without evidence.
Born on 11 January 1934, Hoare lived through computing’s transition from rare demonstration machines to a pervasive global industry. The personal account closes by remembering his warmth, patience and clarity alongside the formal ideas that continue to shape algorithms, programming-language design and program verification.
