Charles Antony Richard Hoare

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
site web oficial
Modifică date / text Consultați documentația formatului

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. ^ 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  


v • d • m
Laureați ai Premiului A. M. Turing

Perlis (1966) · Wilkes (1967) · Hamming (1968) · Minsky (1969) · Wilkinson (1970) · McCarthy (1971) · Dijkstra (1972) · Bachman (1973) · Knuth (1974) · Newell / Simon (1975) · Rabin / Scott (1976) · Backus (1977) · Floyd (1978) · Iverson (1979) · Hoare (1980) · Codd (1981) · Cook (1982) · Thompson / Ritchie (1983) · Wirth (1984) · Karp (1985) · Hopcroft / Tarjan (1986) · Cocke (1987) · Sutherland (1988) · Kahan (1989) · Corbató (1990) · Milner (1991) · Lampson (1992) · Hartmanis / Stearns (1993) · Feigenbaum / Reddy (1994) · Blum (1995) · Pnueli (1996) · Engelbart (1997) · Gray (1998) · Brooks (1999) · Yao (2000) · Dahl / Nygaard (2001) · Rivest / Shamir / Adleman (2002) · Kay (2003) · Cerf / Kahn (2004) · Naur (2005) · Allen (2006) · Clarke / Emerson / Sifakis (2007)  · Liskov (2008)  · Thacker (2009)  · Valiant (2010)  · Pearl (2011)  · Micali / Goldwasser (2012)  · Lamport (2013)  · Stonebraker (2014)  · Diffie / Hellman (2015)  · Tim Berners-Lee (2016)

Control de autoritate
 Acest articol biografic despre un englez este un ciot. Puteți ajuta Wikipedia prin completarea lui!