C. A. R. Hoare

Plantilla:Infotaula personaSir Modifica el valor a Wikidata
C. A. R. Hoare
Imatge
Sir C. A. R. Hoare fent una conferència a Lausana el 20 de juny de 2011 (2011) Modifica el valor a Wikidata
Biografia
Naixement11 gener 1934 Modifica el valor a Wikidata (91 anys)
Colombo (Sri Lanka) Modifica el valor a Wikidata
ResidènciaCambridge Modifica el valor a Wikidata
FormacióUniversitat Estatal de Moscou
Universitat d'Oxford
Merton College
Dragon School Oxford Modifica el valor a Wikidata
Director de tesiLeslie Fox i Andrei Kolmogórov Modifica el valor a Wikidata
Activitat
Camp de treballCiència computacional i ciències de la computació Modifica el valor a Wikidata
Ocupacióinformàtic, escriptor, programador, enginyer, professor d'universitat Modifica el valor a Wikidata
OcupadorMicrosoft
Universitat d'Oxford
Universitat Queen's de Belfast Modifica el valor a Wikidata
Membre de
Obra
Obres destacables
Estudiant doctoralBill Roscoe, Cliff Jones, Augusto Sampaio, William James Stewart (en) Tradueix, Stephen D. Brookes (en) Tradueix, David Naumann, Andrew Philip Black (en) Tradueix, Peter Lauer (en) Tradueix, Jeremy Jacob (en) Tradueix, Masud Malik (en) Tradueix, John Elder (en) Tradueix, Jim (Wolfgang) Kaubisch (en) Tradueix, Richard Kennaway (en) Tradueix, T. Yung Kong (en) Tradueix, Geraint Jones (en) Tradueix, Christopher Dollin (en) Tradueix, Alex Teruel (en) Tradueix, Bryan Todd (en) Tradueix, Stephen Page (en) Tradueix, Clare Martin (en) Tradueix, Ken Wood (en) Tradueix, Stephen Brien (en) Tradueix i Paul Rudin (en) Tradueix Modifica el valor a Wikidata
Família
CònjugeJill Pym Modifica el valor a Wikidata
ParesHenry Samuel Malortie Hoare Modifica el valor a Wikidata  i Marjorie Francis Villiers Modifica el valor a Wikidata
Premis

Lloc webcs.ox.ac.uk… Modifica el valor a Wikidata

Sir Charles Antony Richard Hoare FRS FREng[1] (nascut l'11 de gener de 1934),[2] conegut normalment com a Tony Hoare o C. A. R. Hoare, és un informàtic britànic. Va desenvolupar l'algorisme d'ordenació quicksort els anys 1959/1960.[3] També va desenvolupar la lògica de Hoare per verificar la correctesa dels programes, i el llenguatge formal "processos comunicants seqüencials" (CSP) per especificar les interaccions de processos concurrents (inclòs el problema del sopar de filòsofs) i va inspirar el llenguatge de programació occam.[4][5][6][7][8]

  1. «List of Fellows». Arxivat de l'original el 2016-06-08. [Consulta: 21 febrer 2016].
  2. «Birthdays Jan 10». The Times [Londres], 10-01-2009 [Consulta: 9 gener 2010]. Arxivat 29 de juny 2011 a Wayback Machine.
  3. «El 1959, mentre estudiava traducció automàtica de llengües a Moscou, va inventar el conegut algorisme d'ordenació, "Quicksort."». Arxivat de l'original el 2015-04-03. [Consulta: 21 febrer 2016].
  4. Tony Hoare a la Biblioteca Digital de l'ACM
  5. Publicacions de C. A. R. Hoare indexades pel servidor de bibliografia de la Universitat de Trier
  6. Llista de publicacions Arxivat 2012-11-08 a Wayback Machine. a Microsoft AcademicSearch
  7. Shustek, L. «Interview: An interview with C.A.R. Hoare». Comm. ACM, 52, 3, 2009, pàg. 38–41. DOI: 10.1145/1467247.1467261.
  8. Hoare, C. A. R. «Monitors: An operating system structuring concept». Communications of the ACM, 17, 10, 1974, pàg. 549. DOI: 10.1145/355620.361161.

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne