Charles Antony Richard Hoare
Charles Antony Richard Hoare | |
Date personale | |
---|---|
Poreclă | Tony |
Născut | (90 de ani)[6][7] Colombo, Sri Lanka |
Părinți | Henry Samuel Malortie Hoare[*][[Henry Samuel Malortie Hoare (Peerage person ID=140621)|]][8] Marjorie Francis Villiers[*][[Marjorie Francis Villiers ((1909-1998))|]][8] |
Căsătorit cu | Jill Pym[*][[Jill Pym ((born 1933))|]] |
Cetățenie | Regatul Unit[9] |
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[1] |
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[*][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] |
Conducător de doctorat | Leslie Fox[*][[Leslie Fox (matematician britanic)|]][5] |
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)|]][5] Stephen D. Brookes[*][[Stephen D. Brookes (D.Phil. University of Oxford 1984)|]][5] David Andrew Naumann[*][[David Andrew Naumann (Ph.D. University of Texas at Austin 1992)|]][5] Andrew Philip Black[*][[Andrew Philip Black (Ph.D. University of Oxford 1984)|]][5] Peter Lauer[*][[Peter Lauer (Ph.D. Queen's University of Belfast 1971)|]][5] Jeremy Jacob[*][[Jeremy Jacob (Ph.D. University of Oxford 1989)|]][5] Masud Malik[*][[Masud Malik (Ph.D. Queen's University of Belfast 1975)|]][5] ...încă 13 |
Cunoscut pentru | Quicksort |
Premii | Premiul Turing, 1980 |
Prezență online | |
site web oficial | |
Modifică date / text |
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
- ^ http://wwwp.oakland.edu/enp/erdpaths/ Lipsește sau este vid:
|title=
(ajutor) - ^ https://www.ae-info.org/ae/User/Hoare_Charles Lipsește sau este vid:
|title=
(ajutor) - ^ 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) - ^ https://www.acm.org/media-center/2021/january/fellows-2020, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ a b c d e f g h Genealogia matematicienilor
- ^ a b „C. A. R. Hoare”, Gemeinsame Normdatei, accesat în
- ^ a b Tony Hoare, SNAC, accesat în
- ^ a b The Peerage
- ^ LIBRIS, , accesat în
|
Acest articol biografic despre un englez este un ciot. Puteți ajuta Wikipedia prin completarea lui! |