Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
Charles Antony Richard Hoare
CAR Hoare.jpg
Charles Antony Richard Hoare
Date personale
PoreclăTony Modificați la Wikidata
Născut (89 de ani)
Colombo, Sri Lanka
Părinți Henry Samuel Malortie Hoare[*][[Henry Samuel Malortie Hoare (Peerage person ID=140621)|​]][3]
Marjorie Francis Villiers[*][[Marjorie Francis Villiers ((1909-1998))|​]][3] Modificați la Wikidata
Căsătorit cu Jill Pym[*][[Jill Pym ((born 1933))|​]] Modificați la Wikidata
Naționalitateenglez
CetățenieFlag of the United Kingdom (3-5).svg Regatul Unit[4] Modificați la Wikidata
Ocupațieinformatician
inginer
programator
scriitor
cadru didactic universitar[*] Modificați la Wikidata
Limbi vorbitelimba engleză 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 de Stat din Moscova
Merton College[*][[Merton College (college of the University of Oxford)|​]]
Universitatea Oxford
Dragon School[*][[Dragon School (school in Oxford, Oxfordshire, UK)|​]]  Modificați la Wikidata
OrganizațiiSocietatea Regală din Londra
Accademia Nazionale dei Lincei
Academia Europaea[*][1]
Bayerische Akademie der Wissenschaften[*][[Bayerische Akademie der Wissenschaften (academy of sciences)|​]]
Academia Națională de Științe a Statelor Unite ale Americii[*]
UK Computing Research Committee[*][[UK Computing Research Committee (expert panel of the IET, the BCS, and the CPHC)|​]][2]  Modificați la Wikidata
Cunoscut pentruQuicksort
PremiiPremiul Turing, 1980
Prezență online

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.



  1. ^ https://www.ae-info.org/ae/User/Hoare_Charles  Lipsește sau este vid: |title= (ajutor)
  2. ^ 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)
  3. ^ a b The Peerage 
  4. ^ LIBRIS, , accesat în