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]
Dades ràpides Nom original, Biografia ...
Sir
C. A. R. Hoare Sir C. A. R. Hoare fent una conferència a Lausana el 20 de juny de 2011 (2011) |
Nom original | (en) Charles Antony Richard Hoare |
---|
|
Naixement | 11 gener 1934 (90 anys)
Colombo |
---|
|
|
|
|
|
Formació | Universitat Estatal de Moscou Universitat d'Oxford Merton College Dragon School Oxford |
---|
Director de tesi | Leslie Fox |
---|
|
Camp de treball | Ciència computacional i ciències de la computació |
---|
Ocupació | informàtic, escriptor, programador, enginyer, professor d'universitat |
---|
Ocupador | Microsoft Universitat d'Oxford Universitat Queen's de Belfast |
---|
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) |
---|
|
Cònjuge | Jill Pym (en) |
---|
Pares | Henry Samuel Malortie Hoare i Marjorie Francis Villiers |
---|
Premis |
|
Lloc web | cs.ox.ac.uk… |
---|
Tanca