Sari la conținut

Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
Charles Antony Richard Hoare

C. A. R. Hoare ()
Date personale
Nume la naștereCharles Antony Richard Hoare Modificați la Wikidata
PoreclăTony, Τόνι Modificați la Wikidata
Născut[1][2][3] Modificați la Wikidata
Colombo, Sri Lanka Modificați la Wikidata
Decedat (92 de ani)[4] Modificați la Wikidata
Cambridgeshire⁠(d), Anglia, Regatul Unit Modificați la Wikidata
PărințiHenry Samuel Malortie Hoare[*][[Henry Samuel Malortie Hoare (British civil servant (1904 - 1990))|]][5][3]
Marjorie Francis Villiers[*][[Marjorie Francis Villiers ((1909-1998))|]][5][3] Modificați la Wikidata
Căsătorit cuJill Pym[*][[Jill Pym ((born 1933))|]] (din )[6][3] Modificați la Wikidata
Număr de copii3[3] Modificați la Wikidata
Cetățenie Regatul Unit[7] Modificați la Wikidata
Ocupațieinformatician
inginer
programator
scriitor
cadru didactic universitar[*] Modificați la Wikidata
Limbi vorbitelimba engleză
limba rusă
limba latină
limba greacă veche Modificați la Wikidata
Activitate
Domeniuștiința informației[*]
informatică  Modificați la Wikidata
Număr Erdős4[8]  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)|]]
The King's School Canterbury[*][[The King's School Canterbury (school in Kent, UK)|]][3]  Modificați la Wikidata
OrganizațiiSocietatea Regală din Londra
Accademia Nazionale dei Lincei[9]
Academia Europaea[10]
Academia Bavareză de Științe[*]
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)|]][11]
Association for Computing Machinery[12]  Modificați la Wikidata
Conducător de doctoratLeslie Fox[*][[Leslie Fox (matematician britanic)|]][13]
Andrei Nikolaevici Kolmogorov[14]  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[*][15]
Stephen D. Brookes[*][15]
David Andrew Naumann[*][15]
Andrew Philip Black[*][15]
Peter Lauer[*][15]
Jeremy Jacob[*][15]
Masud Malik[*][15]
...încă 13  Modificați la Wikidata
Cunoscut pentruQuicksort
PremiiPremiul Turing, 1980
Prezență online

Charles Antony Richard Hoare (n. , Colombo, Sri Lanka – d. , Cambridgeshire⁠(d), Anglia, Regatul Unit) a fost 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. Biblioteca Națională a Germaniei. „Gemeinsame Normdatei” (în germană). Wikidata Q36578. Accesat în .
  2. „Tony Hoare” (în engleză). SNAC. Wikidata Q29861311. Accesat în .
  3. 1 2 3 4 5 6 „C. A. R. Hoare” (în engleză). Who's Who[*]. ISSN 0083-937X. Wikidata Q2567271.
  4. Lance Fortnow. „Tony Hoare (1934-2026)” (în engleză). Accesat în .
  5. 1 2 Darryl Roger Lundy. „C. A. R. Hoare” (în engleză). The Peerage[*]. Wikidata Q21401824.
  6. „C. A. R. Hoare”. The Peerage[*].
  7. „C. A. R. Hoare”. LIBRIS. . Wikidata Q1798125. Accesat în .
  8. http://wwwp.oakland.edu/enp/erdpaths/. Lipsește sau este vid: |title= (ajutor)
  9. „Soci Lincei 1870-2026”. doi:10.5281/ZENODO.18315206. Accesat în .
  10. „C. A. R. Hoare” (în engleză). www.ae-info.org[*]. Wikidata Q107213897.
  11. 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)
  12. „2020 ACM Fellows Recognized for Work that Underpins Today's Computing Innovations”. Association for Computing Machinery. Accesat în .
  13. „C. A. R. Hoare” (în engleză). Genealogia matematicienilor. Wikidata Q829984. Accesat în .
  14. „C. A. R. Hoare” (în engleză). Genealogia matematicienilor. Wikidata Q829984. Accesat în .
  15. 1 2 3 4 5 6 7 „C. A. R. Hoare” (în engleză). Genealogia matematicienilor. Wikidata Q829984.