Charles Antony Richard Hoare () a fost un informatician britanic, celebru pentru inventarea, în 1960, a algoritmului de sortare quicksort, unul dintre cei mai eficienți și mai utilizați algoritmi de sortare. De asemenea, a dezvoltat logica Hoare pentru verificarea corectitudinii programelor, și limbajul formal CSP, folosit pentru descrierea interacțiunilor proceselor concurente (de exemplu, problema filosofilor). A primit, în 1980, Premiul Turing din partea ACM.
Note
Categorie:Nașteri în 1934 Categorie:Decese în 2026 Categorie:Informaticieni englezi Categorie:Laureați ai Premiului Turing