Computer scientist known for Quicksort, Hoare logic and influential work on programming languages.
A description of Quicksort, a divide-and-conquer sorting algorithm that partitions data around a pivot element and recursively sorts the resulting sections.