Tony Hoare

Ha trovato larga fama grazie alla scoperta, nel 1960, del ''quicksort'', l'algoritmo di ordinamento più usato al mondo. Egli ha anche sviluppato le logiche di Hoare, atte a verificare la correttezza dei programmi, e il linguaggio formale Communicating Sequential Processes (CSP) usato per specificare interazioni tra processi concorrenti. da Wikipedia