Charles Antony Richard Hoare

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.

Charles Antony Richard Hoare
Date personale
PoreclăTony
Născut (90 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ă
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[*][[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)|​]][7] 
Conducător de doctoratLeslie Fox[*][[Leslie Fox (matematician britanic)|​]][8] 
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)|​]][8]
Stephen D. Brookes[*][[Stephen D. Brookes (D.Phil. University of Oxford 1984)|​]][8]
David Andrew Naumann[*][[David Andrew Naumann (Ph.D. University of Texas at Austin 1992)|​]][8]
Andrew Philip Black[*][[Andrew Philip Black (Ph.D. University of Oxford 1984)|​]][8]
Peter Lauer[*][[Peter Lauer (Ph.D. Queen's University of Belfast 1971)|​]][8]
Jeremy Jacob[*][[Jeremy Jacob (Ph.D. University of Oxford 1989)|​]][8]
Masud Malik[*][[Masud Malik (Ph.D. Queen's University of Belfast 1975)|​]][8]
...încă 13 
Cunoscut pentruQuicksort
PremiiPremiul Turing, 1980
Prezență online

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


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.