Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Charles Antony Richard Hoare
CAR Hoare.jpg
Charles Antony Richard Hoare
Date personale
Născut 11 ianuarie 1934 (82 de ani)
Colombo, Sri Lanka
Naționalitate englez
Cetățenie Regatul Unit
Ocupație informatician
inginer
programator
scriitor
profesor universitar
Activitate
Rezidență Regatul Unit Regatul Unit
Domeniu informatician
Instituție Elliott Brothers
Universitatea Regală din Belfast
Universitatea Oxford
Universitatea de Stat Moscova
Microsoft Research
Alma Mater Universitatea din Moscova
Merton College[*]
Cunoscut pentru Quicksort
Premii Premiul 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.