Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Charles Antony Richard Hoare
CAR Hoare.jpg
Charles Antony Richard Hoare
Date personale
Născut (84 de ani)
Colombo, Sri Lanka
Naționalitateenglez
CetățenieFlag of the United Kingdom.svg Regatul Unit Modificați la Wikidata
Ocupațieinformatician
inginer
programator
scriitor
profesor universitar Modificați la Wikidata
Activitate
RezidențăRegatul Unit Regatul Unit
Domeniuinformatician
InstituțieElliott Brothers
Universitatea Regală din Belfast
Universitatea Oxford
Universitatea de Stat Moscova
Microsoft Research
Alma MaterUniversitatea din Moscova
Merton College[*]
Universitatea Oxford  Modificați la Wikidata
OrganizațiiSocietatea Regală din Londra
Accademia Nazionale dei Lincei
Academia Europaea[*]
Bavarian Academy of Sciences and Humanities[*]  Modificați la Wikidata
Cunoscut pentruQuicksort
PremiiPremiul Turing, 1980

Charles Antony Richard Hoare (n. 11 ianuarie 1934, Colombo, Sri Lanka) este 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.