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)[7][8] 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)|​]][9]
Marjorie Francis Villiers[*][[Marjorie Francis Villiers ((1909-1998))|​]][9] Modificați la Wikidata
Căsătorit cuJill Pym[*][[Jill Pym ((born 1933))|​]] Modificați la Wikidata
Cetățenie Regatul Unit[10] 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]
Association for Computing Machinery[4]  Modificați la Wikidata
Conducător de doctoratLeslie Fox[*][[Leslie Fox (matematician britanic)|​]][5]
Andrei Nikolaevici Kolmogorov[5]  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. ^ 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. ^ https://www.acm.org/media-center/2021/january/fellows-2020, accesat în   Lipsește sau este vid: |title= (ajutor)
  5. ^ a b Genealogia matematicienilor, accesat în  
  6. ^ a b c d e f g Genealogia matematicienilor 
  7. ^ „C. A. R. Hoare”, Gemeinsame Normdatei, accesat în  
  8. ^ Tony Hoare, SNAC, accesat în  
  9. ^ a b The Peerage 
  10. ^ 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)  · John L. Hennessy / David Patterson (2017)  · Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018)  · Ed Catmull / Pat Hanrahan (2019)  · Alfred Aho / Jeffrey Ullman (2020)  · Jack Dongarra (2021)  · Robert Metcalfe (2022)  · Avi Wigderson (2023)

 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