Sari la conținut

Charles Antony Richard Hoare

De la Wikipedia, enciclopedia liberă
(Redirecționat de la C. A. R. Hoare)
Charles Antony Richard Hoare
Date personale
PoreclăTony Modificați la Wikidata
Născut (90 de ani)[1][2] 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[3]  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[*]​[4]
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)|​]][5]  Modificați la Wikidata
Conducător de doctoratLeslie Fox[*][[Leslie Fox (matematician britanic)|​]][6]  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)|​]][6]
Stephen D. Brookes[*][[Stephen D. Brookes (D.Phil. University of Oxford 1984)|​]][6]
David Andrew Naumann[*][[David Andrew Naumann (Ph.D. University of Texas at Austin 1992)|​]][6]
Andrew Philip Black[*][[Andrew Philip Black (Ph.D. University of Oxford 1984)|​]][6]
Peter Lauer[*][[Peter Lauer (Ph.D. Queen's University of Belfast 1971)|​]][6]
Jeremy Jacob[*][[Jeremy Jacob (Ph.D. University of Oxford 1989)|​]][6]
Masud Malik[*][[Masud Malik (Ph.D. Queen's University of Belfast 1975)|​]][6]
...încă 13  Modificați la Wikidata
Cunoscut pentruQuicksort
PremiiPremiul Turing, 1980
Prezență online
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[modificare | modificare sursă]

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

 Acest articol biografic despre un englez este un ciot. Puteți ajuta Wikipedia prin completarea lui!
Adus de la https://ro.wikipedia.org/w/index.php?title=Charles_Antony_Richard_Hoare&oldid=16137298