Tony Hoare

Hoare developed Quicksort in 1959 while a visiting student at Moscow State University, working on a machine translation project. The algorithm selects a pivot element and partitions the array so that smaller elements precede and larger ones follow the pivot, then recursively sorts each partition, yielding an average time complexity of O(n log n).

Hoare famously referred to his 1965 invention of the null reference as his 'billion-dollar mistake,' arguing that null pointers have caused countless crashes and security vulnerabilities over the decades. He introduced null references in the ALGOL W language and publicly expressed regret at the QCon conference in London in 2009.

Hoare logic, introduced by Hoare in 1969, is a formal system using 'Hoare triples' — written {P} C {Q} — to rigorously prove that a program command C transforms precondition P into postcondition Q. This work laid the foundation for modern program verification and the field of formal methods in software engineering.

Hoare developed CSP in 1978 as a formal language for describing and reasoning about patterns of interaction in concurrent systems. CSP later influenced the concurrency model of Google's Go programming language and remains a cornerstone of process algebra theory.