Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
(Redirecționat de la C. A. R. Hoare)
Salt la: Navigare, căutare
Charles Antony Richard Hoare
Charles Antony Richard Hoare
Charles Antony Richard Hoare
Născut 11 ianuarie 1934 (1934-01-11) (80 de ani)
Colombo, Sri Lanka
Rezidență Regatul Unit Regatul Unit
Naționalitate englez
Domeniu informatician
Instituție Elliott Brothers
Universitatea Regală din Belfast
Universitatea Oxford
Universitatea de Stat Moscova
Microsoft Research
Alma Mater Universitatea Oxford
Universitatea de Stat Moscova
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.