Charles Antony Richard Hoare
Charles Antony Richard Hoare | |
![]() Charles Antony Richard Hoare | |
Date personale | |
---|---|
Născut | (85 de ani) Colombo, Sri Lanka |
Naționalitate | englez |
Cetățenie | ![]() ![]() |
Ocupație | informatician inginer programator scriitor profesor universitar ![]() |
Activitate | |
Rezidență | ![]() |
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[*] Universitatea Oxford ![]() |
Organizații | Societatea Regală din Londra Accademia Nazionale dei Lincei Academia Europaea[*][1] Bavarian Academy of Sciences and Humanities[*] Academia Națională de Științe a Statelor Unite ale Americii[*] ![]() |
Cunoscut pentru | Quicksort |
Premii | Premiul Turing, 1980 |
Modifică date / text ![]() |
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.
|
- ^ https://www.ae-info.org/ae/User/Hoare_Charles Lipsește sau este vid:
|title=
(ajutor)