Sari la conținut

Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
Charles Antony Richard Hoare
Date personale
PoreclăTony Modificați la Wikidata
Născut (90 de ani)[5][6] Modificați la Wikidata
Colombo, Sri Lanka Modificați la Wikidata
PărințiHenry Samuel Malortie Hoare[*][[Henry Samuel Malortie Hoare (Peerage person ID=140621)|​]][7]
Marjorie Francis Villiers[*][[Marjorie Francis Villiers ((1909-1998))|​]][7] Modificați la Wikidata
Căsătorit cuJill Pym[*][[Jill Pym ((born 1933))|​]] Modificați la Wikidata
Cetățenie Regatul Unit[8] 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țăCambridge  Modificați la Wikidata
Domeniuștiința informației[*]
informatică  Modificați la Wikidata
Număr Erdős4[1]  Modificați la Wikidata
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[*][2]
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)|​]][3]  Modificați la Wikidata
Conducător de doctoratLeslie Fox[*][[Leslie Fox (matematician britanic)|​]][4]  Modificați la Wikidata
DoctoranziBill Roscoe[*][[Bill Roscoe (computer scientist)|​]]
Cliff Jones[*][[Cliff Jones (British computer scientist)|​]]
Augusto Sampaio[*][[Augusto Sampaio (Brazilian computer scientist)|​]]
William James Stewart[*][[William James Stewart (Ph.D. Queen's University of Belfast 1974)|​]][4]
Stephen D. Brookes[*][[Stephen D. Brookes (D.Phil. University of Oxford 1984)|​]][4]
David Andrew Naumann[*][[David Andrew Naumann (Ph.D. University of Texas at Austin 1992)|​]][4]
Andrew Philip Black[*][[Andrew Philip Black (Ph.D. University of Oxford 1984)|​]][4]
Peter Lauer[*][[Peter Lauer (Ph.D. Queen's University of Belfast 1971)|​]][4]
Jeremy Jacob[*][[Jeremy Jacob (Ph.D. University of Oxford 1989)|​]][4]
Masud Malik[*][[Masud Malik (Ph.D. Queen's University of Belfast 1975)|​]][4]
...încă 13  Modificați la Wikidata
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[modificare | modificare sursă]

  1. ^ http://wwwp.oakland.edu/enp/erdpaths/  Lipsește sau este vid: |title= (ajutor)
  2. ^ https://www.ae-info.org/ae/User/Hoare_Charles  Lipsește sau este vid: |title= (ajutor)
  3. ^ 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)
  4. ^ a b c d e f g h Genealogia matematicienilor 
  5. ^ a b „C. A. R. Hoare”, Gemeinsame Normdatei, accesat în  
  6. ^ a b Tony Hoare, SNAC, accesat în  
  7. ^ a b The Peerage 
  8. ^ LIBRIS, , accesat în