Sir ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png)
C. A. R. Hoare
![Imatge](//upload.wikimedia.org/wikipedia/commons/thumb/2/2c/Sir_Tony_Hoare_IMG_5125.jpg/300px-Sir_Tony_Hoare_IMG_5125.jpg) | Sir C. A. R. Hoare fent una conferència a Lausana el 20 de juny de 2011 (2011) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
|
|
Naixement | 11 gener 1934 (91 anys) Colombo (Sri Lanka) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Residència | Cambridge ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Formació | Universitat Estatal de Moscou Universitat d'Oxford Merton College Dragon School Oxford ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Director de tesi | Leslie Fox i Andrei Kolmogórov ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Camp de treball | Ciència computacional i ciències de la computació ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Ocupació | informàtic, escriptor, programador, enginyer, professor d'universitat ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Ocupador | Microsoft Universitat d'Oxford Universitat Queen's de Belfast ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Membre de | |
---|
|
Obres destacables |
Estudiant doctoral | Bill Roscoe, Cliff Jones, Augusto Sampaio, William James Stewart (en) , Stephen D. Brookes (en) , David Naumann, Andrew Philip Black (en) , Peter Lauer (en) , Jeremy Jacob (en) , Masud Malik (en) , John Elder (en) , Jim (Wolfgang) Kaubisch (en) , Richard Kennaway (en) , T. Yung Kong (en) , Geraint Jones (en) , Christopher Dollin (en) , Alex Teruel (en) , Bryan Todd (en) , Stephen Page (en) , Clare Martin (en) , Ken Wood (en) , Stephen Brien (en) i Paul Rudin (en) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Cònjuge | Jill Pym ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Pares | Henry Samuel Malortie Hoare i Marjorie Francis Villiers ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
|
|
Lloc web | cs.ox.ac.uk… ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
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]
- ↑ «List of Fellows». Arxivat de l'original el 2016-06-08. [Consulta: 21 febrer 2016].
- ↑ «Birthdays Jan 10». The Times [Londres], 10-01-2009 [Consulta: 9 gener 2010]. Arxivat 29 de juny 2011 a Wayback Machine.
- ↑ «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].
- ↑ Tony Hoare a la Biblioteca Digital de l'ACM
- ↑ Publicacions de C. A. R. Hoare indexades pel servidor de bibliografia de la Universitat de Trier
- ↑ Llista de publicacions Arxivat 2012-11-08 a Wayback Machine. a Microsoft AcademicSearch
- ↑ Shustek, L. «Interview: An interview with C.A.R. Hoare». Comm. ACM, 52, 3, 2009, pàg. 38–41. DOI: 10.1145/1467247.1467261.
- ↑ 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.