Charles Antony Richard Hoare
From Wikipedia, the free encyclopedia
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.
Mai multe informații Date personale, Poreclă ...
Charles Antony Richard Hoare | |
Date personale | |
---|---|
Poreclă | Tony |
Născut | (90 de ani)[1][2] Colombo, Sri Lanka |
Părinți | Henry Samuel Malortie Hoare[*][[Henry Samuel Malortie Hoare (Peerage person ID=140621)|]][3] Marjorie Francis Villiers[*][[Marjorie Francis Villiers ((1909-1998))|]][3] |
Căsătorit cu | Jill Pym[*][[Jill Pym ((born 1933))|]] |
Cetățenie | Regatul Unit[4] |
Ocupație | informatician inginer programator scriitor cadru didactic universitar[*] |
Limbi vorbite | limba engleză |
Activitate | |
Rezidență | Cambridge |
Domeniu | știința informației[*] informatică |
Număr Erdős | 4[5] |
Instituție | Elliott Brothers Universitatea Regală din Belfast Universitatea Oxford Universitatea de Stat Moscova Microsoft Research |
Alma Mater | Universitatea 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ții | Societatea 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] Association for Computing Machinery[8] |
Conducător de doctorat | Leslie Fox[*][[Leslie Fox (matematician britanic)|]][9] |
Doctoranzi | Bill 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)|]][9] Stephen D. Brookes[*][[Stephen D. Brookes (D.Phil. University of Oxford 1984)|]][9] David Andrew Naumann[*][[David Andrew Naumann (Ph.D. University of Texas at Austin 1992)|]][9] Andrew Philip Black[*][[Andrew Philip Black (Ph.D. University of Oxford 1984)|]][9] Peter Lauer[*][[Peter Lauer (Ph.D. Queen's University of Belfast 1971)|]][9] Jeremy Jacob[*][[Jeremy Jacob (Ph.D. University of Oxford 1989)|]][9] Masud Malik[*][[Masud Malik (Ph.D. Queen's University of Belfast 1975)|]][9] ...încă 13 |
Cunoscut pentru | Quicksort |
Premii | Premiul Turing, 1980 |
Prezență online | |
Modifică date / text |
Închide