C. A. R. Hoare

Sir Charles Antony Richard Hoare FRS FREng (nascut l'11 de gener de 1934), 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. 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. Proporcionat per Wikipedia