Charles Antony Richard Hoare

Charles Antony Richard Hoare
Date personale
PoreclăTony, Τόνι
Născut (91 de ani)[1][2]
Colombo, Sri Lanka
PărințiHenry Samuel Malortie Hoare[*][[Henry Samuel Malortie Hoare (Peerage person ID=140621)|​]][3]
Marjorie Francis Villiers[*][[Marjorie Francis Villiers ((1909-1998))|​]][3]
Căsătorit cuJill Pym[*][[Jill Pym ((born 1933))|​]]
Cetățenie Regatul Unit[4]
Ocupațieinformatician
inginer
programator
scriitor
cadru didactic universitar[*]​
Limbi vorbitelimba engleză
limba rusă
limba latină
limba greacă veche
Activitate
RezidențăCambridge 
Domeniuștiința informației[*]​
informatică 
Număr Erdős4[5] 
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)|​]] 
OrganizațiiSocietatea Regală din Londra
Accademia Nazionale dei Lincei
Academia Europaea[*]​[6]
Bayerische Akademie der Wissenschaften[*]​
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)|​]][7]
Association for Computing Machinery[8] 
Conducător de doctoratLeslie Fox[*][[Leslie Fox (matematician britanic)|​]][9]
Andrei Nikolaevici Kolmogorov[9] 
DoctoranziBill Roscoe[*][[Bill Roscoe (computer scientist)|​]]
Cliff Jones[*][[Cliff Jones (British computer scientist)|​]]
Augusto Sampaio[*][[Augusto Sampaio (Brazilian computer scientist)|​]]
William James Stewart[*]​[10]
Stephen D. Brookes[*]​[10]
David Andrew Naumann[*][[David Andrew Naumann (Ph.D. University of Texas at Austin 1992)|​]][10]
Andrew Philip Black[*]​[10]
Peter Lauer[*]​[10]
Jeremy Jacob[*]​[10]
Masud Malik[*]​[10]
...încă 13 
Cunoscut pentruQuicksort
PremiiPremiul Turing, 1980
Prezență online

Charles Antony Richard Hoare (n. , 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.

Note

  1. ↑ „C. A. R. Hoare”, Gemeinsame Normdatei, accesat în
  2. ↑ Tony Hoare, SNAC, accesat în
  3. 1 2 The Peerage
  4. ↑ LIBRIS, , accesat în
  5. ↑ http://wwwp.oakland.edu/enp/erdpaths/ Lipsește sau este vid: |title= (ajutor)
  6. ↑ www.ae-info.org
  7. ↑ 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)
  8. ↑ https://www.acm.org/media-center/2021/january/fellows-2020, accesat în Lipsește sau este vid: |title= (ajutor)
  9. 1 2 Genealogia matematicienilor, accesat în
  10. 1 2 3 4 5 6 7 Genealogia matematicienilor


Acest articol este emis de la Wikipedia. Textul este licențiat sub Creative Commons - Attribution - Sharealike. Se pot aplica termeni suplimentari pentru fișierele media.