Charles Antony Richard Hoare
Charles Antony Richard Hoare | |
![]() Charles Antony Richard Hoare | |
Date personale | |
---|---|
Poreclă | Tony ![]() |
Născut | (89 de ani) Colombo, Sri Lanka |
Părinți | Henry Samuel Malortie Hoare[*][3] Marjorie Francis Villiers[*][3] ![]() |
Căsătorit cu | Jill Pym[*] ![]() |
Naționalitate | englez |
Cetățenie | ![]() ![]() |
Ocupație | informatician inginer programator scriitor cadru didactic universitar[*] ![]() |
Limbi vorbite | limba engleză ![]() |
Activitate | |
Rezidență | ![]() |
Domeniu | informatician |
Instituție | Elliott Brothers Universitatea Regală din Belfast Universitatea Oxford Universitatea de Stat Moscova Microsoft Research |
Alma Mater | Universitatea de Stat din Moscova Merton College[*] Universitatea Oxford Dragon School[*] ![]() |
Organizații | Societatea Regală din Londra Accademia Nazionale dei Lincei Academia Europaea[*][1] Bayerische Akademie der Wissenschaften[*] Academia Națională de Științe a Statelor Unite ale Americii[*] UK Computing Research Committee[*][2] ![]() |
Cunoscut pentru | Quicksort |
Premii | Premiul Turing, 1980 |
Prezență online | |
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) - ^ https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/ Lipsește sau este vid:
|title=
(ajutor) - ^ a b The Peerage
- ^ LIBRIS, , accesat în